mathlib3
9dc9c3ea - feat(logic/lemmas): Distributivity of `if then else` (#14146)

Commit

3 years ago

feat(logic/lemmas): Distributivity of `if then else` (#14146) Distributivity laws for `dite` and `ite`.

Author

YaelDillies

Parents