Theorem AlgHom.toKerIsLocalization_apply

Modification history