Theorem LieDerivation.IsKilling.ad_mem_ker_killingForm_ad_range_of_mem_orthogonal

Modification history