Theorem AlgebraicGeometry.IsAffineOpen.ι_basicOpen_preimage

Modification history