Theorem AlgebraicGeometry.Scheme.restrictRestrict_hom_restrict

Modification history