Def AlgebraicGeometry.Scheme.smallEtaleTopology

Modification history

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