mathlib
3fdfc8e5 - chore(data/bool): add a few lemmas about inequalities and `band`/`bor` (#9048)

Commit

4 years ago

chore(data/bool): add a few lemmas about inequalities and `band`/`bor` (#9048)

Author

urkud

urkud

Parents

Loading