Theorem AlgebraicGeometry.Scheme.toSpecΓ_app_top

Modification history