Theorem LieDerivation.IsKilling.exists_eq_ad

Modification history