Theorem LieAlgebra.IsKilling.root_apply_cartanEquivDual_symm_ne_zero

Modification history