Commit 2024-07-29 20:50 f5703e81

View on Github →

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

Estimated changes

Modified Mathlib/AlgebraicGeometry/Morphisms/Basic.lean

Modified Mathlib/AlgebraicGeometry/Morphisms/Constructors.lean

Modified Mathlib/AlgebraicGeometry/Morphisms/RingHomProperties.lean

Modified Mathlib/AlgebraicGeometry/Restrict.lean

added def AlgebraicGeometry.Scheme.openCoverOfISupEqTop

deleted def AlgebraicGeometry.Scheme.openCoverOfSuprEqTop