Def LocalRing.closedPoint

Modification history