mathlib

888caf7d - feat(order/modular_lattice): Semimodular lattices (#11602)

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