mathlib
f01399c4 - chore(order/filter/basic): add 2 trivial `simp` lemmas (#10344)

Commit

4 years ago

chore(order/filter/basic): add 2 trivial `simp` lemmas (#10344)

Author

urkud

urkud

Parents

Loading