Theorem LieAlgebra.IsKilling.restrictBilinear_killingForm

Modification history