Theorem RingHom.toKerIsLocalization_isLocalizedModule

Modification history