Def AlgebraicGeometry.Scheme.openCoverOfISupEqTop

Modification history

2024-07-29 20:50

Mathlib/AlgebraicGeometry/Restrict.lean

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

Added AlgebraicGeometry.Scheme.openCoverOfISupEqTop View on Github →