Theorem AlgebraicGeometry.Scheme.ofRestrict_appIso

Modification history