Theorem AlgebraicGeometry.Etale.of_comp

Modification history

2026-02-09 16:00
Mathlib/AlgebraicGeometry/Morphisms/Etale.lean
chore(AlgebraicGeometry/Smooth): rename `IsSmooth` to `Smooth` and `IsEtale` to `Etale` (#35028) …
Added AlgebraicGeometry.Etale.of_compView on Github →