Theorem LieDerivation.IsKilling.killingForm_restrict_range_ad_nondegenerate

Modification history