Theorem LocalRing.specializes_closedPoint

Modification history