Theorem AlgebraicGeometry.Scheme.mem_basicOpen_top

Modification history