Def AlgebraicGeometry.Scheme.smallEtalePretopology

Modification history

2025-05-04 20:18
Mathlib/AlgebraicGeometry/Sites/Etale.lean
feat(AlgebraicGeometry): the small étale site (#24568) …
Added AlgebraicGeometry.Scheme.smallEtalePretopologyView on Github →