Theorem AlgebraicGeometry.Scheme.restrictFunctor_map_base

Modification history