Commit 2022-07-11 16:51 888caf7d
View on Github →feat(order/modular_lattice): Semimodular lattices (#11602) This defines the four main kinds of semimodular lattices:
- Weakly upper modular
- Weakly lower modular
- Upper modular
- Lower modular
feat(order/modular_lattice): Semimodular lattices (#11602) This defines the four main kinds of semimodular lattices: