Def AlgebraicGeometry.Scheme.Etale

Modification history

2025-05-04 20:18

Mathlib/AlgebraicGeometry/Morphisms/Etale.lean

feat(AlgebraicGeometry): the small étale site (#24568) …

Added AlgebraicGeometry.Scheme.Etale View on Github →