Theorem LieIdeal.restrict_killingForm

Modification history