Mathlib Changelog
v4
Changelog
About
Github
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 →