Theorem RingHom.surjective_respectsIso

Modification history