Theorem Localization.isLocalHom_localRingHom

Modification history