mathlib3
f727e126 - chore(logic/basic): tidy `ite` section and misplaced lemmas (#10761)

Commit

4 years ago

chore(logic/basic): tidy `ite` section and misplaced lemmas (#10761) Moves a few lemmas down and use `variables`.

Author

YaelDillies

Parents