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 →