Theorem LieIdeal.incl_isIdealMorphism

Modification history