Theorem disjoint_biSup_of_finite_disjoint_biSup

Modification history

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