Theorem LieDerivation.ad_isIdealMorphism

Modification history