Theorem AlgebraicGeometry.Scheme.isoSpec_inv_toSpecΓ

Modification history