Theorem AlgebraicGeometry.IsAffineOpen.appLE_eq_away_map

Modification history