Theorem AlgebraicGeometry.Scheme.restrictRestrict_inv_restrict_restrict

Modification history