Theorem AlgebraicGeometry.Scheme.restrictFunctor_map_left

Modification history