Theorem AlgebraicGeometry.Scheme.toSpecΓ_naturality

Modification history