Def AlgebraicGeometry.Scheme.Etale

Modification history

2026-02-09 16:00
Mathlib/AlgebraicGeometry/Morphisms/Etale.lean
chore(AlgebraicGeometry/Smooth): rename `IsSmooth` to `Smooth` and `IsEtale` to `Etale` (#35028) …
Deleted AlgebraicGeometry.Scheme.EtaleView on Github →
2025-05-04 20:18
Mathlib/AlgebraicGeometry/Morphisms/Etale.lean
feat(AlgebraicGeometry): the small étale site (#24568) …
Added AlgebraicGeometry.Scheme.EtaleView on Github →