Mathlib v3 is deprecated. Go to Mathlib v4

Def concept.swap

Modification history

2022-03-22 20:22

src/order/concept.lean

feat(order/concept): Concept lattices (#12286) …

Added concept.swap View on Github →