Def AlgebraicGeometry.Scheme.openCoverOfISupEqTop

Modification history

2025-10-02 14:13

Mathlib/AlgebraicGeometry/Restrict.lean

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

Deleted AlgebraicGeometry.Scheme.openCoverOfISupEqTop View on Github →

2024-07-29 20:50

Mathlib/AlgebraicGeometry/Restrict.lean

chore(AlgebraicGeometry): Rename `openCoverOfSuprEqTop` to `openCoverOfISupEqTop` (#15079)

Added AlgebraicGeometry.Scheme.openCoverOfISupEqTop View on Github →