Theorem LieAlgebra.IsKilling.lie_eq_smul_of_mem_rootSpace

Modification history