Theorem AlgebraicGeometry.Scheme.exists_affine_mem_range_and_range_subset

Modification history