Theorem RingHom.surjective_ofLocalizationSpan

Modification history