Theorem LieDerivation.Killing.killingForm_restrict_range_ad_nondegenerate

Modification history