mathlib
93bc7e05 - feat(order): add some missing `pi` and `Prop` instances (#7268)

Commit

5 years ago

feat(order): add some missing `pi` and `Prop` instances (#7268)

Author

urkud

urkud

Parents

Loading