Theorem AlgebraicGeometry.Scheme.OpenCover.isOpenCover_opensRange

Modification history

2025-02-28 16:03
Mathlib/AlgebraicGeometry/Cover/Open.lean
feat(Topology/Sets): define open covers (#21442)
Added AlgebraicGeometry.Scheme.OpenCover.isOpenCover_opensRangeView on Github →