Def AlgebraicGeometry.Scheme.Etale.rec

Modification history

2026-06-18 11:17

Mathlib/AlgebraicGeometry/Morphisms/Etale.lean

feat(AlgebraicGeometry): points of the small étale site (#35136) …

Added AlgebraicGeometry.Scheme.Etale.rec View on Github →