Theorem LieHom.idealRange_eq_top_of_surjective

Modification history