Theorem LieAlgebra.mem_biSup_genWeightSpace_of

Modification history

2026-10-17 17:39
Mathlib/Algebra/Lie/Weights/Cartan.lean
feat(Linter/Style): lint against `∀ᵉ`/`∃ᵉ` (#44544) …
Modified LieAlgebra.mem_biSup_genWeightSpace_ofView on Github →
2026-03-13 08:20
Mathlib/Algebra/Lie/Weights/Cartan.lean
feat: supporting lemmas for theory of bases in Lie theory (#36297) …
Added LieAlgebra.mem_biSup_genWeightSpace_ofView on Github →