mathlib
2bdadb4f - feat(order/imp): define `lattice.imp` and `lattice.biimp` (#10327)

Commit

4 years ago

feat(order/imp): define `lattice.imp` and `lattice.biimp` (#10327)

Author

urkud

urkud

Parents

Loading