Theorem AlgebraicGeometry.Scheme.ofRestrict_app_self

Modification history