mathlib

621cf7f2 - feat(algebraic_geometry): Intersection of affine open can be covered by common basic opens (#11649)