Def AlgebraicGeometry.Scheme.restrictFunctorΓ

Modification history