Theorem LocalRing.isLocalRingHom_residue

Modification history