Theorem AlgebraicGeometry.SpecToEquivOfLocalRing_eq_iff

Modification history