mathlib
c2ed7dcc - feat(logic/basic): `ite p a b` is equal to `a` or `b` (#8557)

Commit

4 years ago

feat(logic/basic): `ite p a b` is equal to `a` or `b` (#8557)

Author

YaelDillies

YaelDillies

Parents

Loading