Theorem MulHom.srangeRestrict_surjective

Modification history