Theorem AlgebraicGeometry.Scheme.toSpecΓ_preimage_basicOpen

Modification history