Theorem iSupIndep_fin_three

Modification history

2026-03-13 08:20

Mathlib/Order/SupIndep.lean

feat: supporting lemmas for theory of bases in Lie theory (#36297) …

Added iSupIndep_fin_three View on Github →