mathlib3
f7905f0c - feat(order/concept): Concept lattices (#12286)

Commit

4 years ago

feat(order/concept): Concept lattices (#12286) Define `concept`, the type of concepts of a relation, and prove it forms a complete lattice.

Author

YaelDillies

Parents