Def AlgHom.toKerIsLocalization

Modification history