Theorem LieDerivation.Killing.range_ad_eq_top

Modification history