Theorem QuasiSeparatedSpace.of_isOpenCover

Modification history

2025-10-25 17:18
Mathlib/Topology/Constructible.lean
feat(AlgebraicGeometry): quasi-affine if covered by affine basic opens of global sections (#30286)
Added QuasiSeparatedSpace.of_isOpenCoverView on Github →