Def AlgebraicGeometry.Scheme.openCoverOfIsOpenCover

Modification history

2025-10-02 14:13

Mathlib/AlgebraicGeometry/Restrict.lean

chore(Mathlib/AlgebraicGeometry/Restrict): change openCoverOfISupEqTop to openCoverOfIsOpenCover (#30072) …

Added AlgebraicGeometry.Scheme.openCoverOfIsOpenCover View on Github →