Theorem LieAlgebra.IsKilling.restrict_killingForm

Modification history