Def IsLocalRing.ResidueField.mapEquiv

Modification history