Theorem AlgebraicGeometry.Scheme.preimage_eq_top_of_closedPoint_mem

Modification history