Theorem IsLocalRing.isLocalHom_residue

Modification history