Theorem AlgebraicGeometry.Scheme.restrictFunctor_map_app

Modification history