Mathlib Changelog
v4
Changelog
About
Github
Def
AlgebraicGeometry.Scheme.etalePrecoverage
Modification history
2026-02-09 11:07
Mathlib/AlgebraicGeometry/Sites/Etale.lean
chore(AlgebraicGeometry/Sites): use `Precoverage.toGrothendieck` instead of `Pretopology.toGrothendieck` (#34995) …
Added
AlgebraicGeometry.Scheme.etalePrecoverage
View on Github →