Theorem LieDerivation.Killing.exists_eq_ad

Modification history