Def IsLocalRing.closedPoint

Modification history