Theorem AlgHom.toKerIsLocalization_isLocalizedModule

Modification history