Theorem AlgebraicGeometry.Scheme.toSpecΓ_isoSpec_inv

Modification history