Def IsLocalRing.residue

Modification history