Theorem RingHom.rangeRestrict_surjective

Modification history