Theorem IsLocalRing.specializes_closedPoint

Modification history