Theorem LieAlgebra.IsKilling.eq_coroot_of_mem_corootSpace_of_two

Modification history

2026-03-13 08:20
Mathlib/Algebra/Lie/Weights/Killing.lean
feat: supporting lemmas for theory of bases in Lie theory (#36297) …
Added LieAlgebra.IsKilling.eq_coroot_of_mem_corootSpace_of_twoView on Github →