Def IsLocalRing.ResidueField

Modification history