Theorem LieHom.isIdealMorphism_of_surjective

Modification history