Skip to content

Commit

Permalink
feat: restore Bool.and_xor_distrib_(left|right) (leanprover#3604)
Browse files Browse the repository at this point in the history 
I think these were dropped in leanprover#3508, and Mathlib needs them.
  • Loading branch information
@kim-em @tydeu
kim-em authored and tydeu committed Mar 11, 2024
1 parent 3dd079b commit 59ab430
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 59ab430

Please sign in to comment.