Theorem LieAlgebra.IsKilling.coe_corootSpace_eq_span_singleton'

Modification history