Theorem LieDerivation.IsKilling.killingForm_restrict_range_ad

Modification history