Theorem AlgebraicGeometry.IsAffineOpen.isoSpec_inv_toSpecΓ

Modification history