Theorem iSupIndep.mem_of_biSup_eq_top

Modification history

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