Theorem disjoint_sup_right_of_disjoint_sup_right

Modification history

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