Theorem RingHom.surjective_isStableUnderBaseChange

Modification history