Theorem LocalRing.isLocalHom_residue

Modification history