Commit 2022-03-22 20:22 f7905f0c
View on Github →feat(order/concept): Concept lattices (#12286)
Define concept
, the type of concepts of a relation, and prove it forms a complete lattice.
feat(order/concept): Concept lattices (#12286)
Define concept
, the type of concepts of a relation, and prove it forms a complete lattice.