Theorem AlgebraicGeometry.IsAffineOpen.preimage_of_isIso

Modification history