Theorem AlgebraicGeometry.Scheme.ofRestrict_val_c_app_self

Modification history