Theorem le_iff_eq_of_codisjoint_of_disjoint

Modification history

2026-03-13 08:20
Mathlib/Order/ModularLattice.lean
feat: supporting lemmas for theory of bases in Lie theory (#36297) …
Added le_iff_eq_of_codisjoint_of_disjointView on Github →