All.lean
Nyll.SchemeTheory.All
0 declarations indexed from sourceView source ↗
Module documentation
Scheme theory
Foundations for algebraic geometry: schemes and morphisms, descent, normalization, finite étale covers, sheaves and cohomology. Includes commutative algebra and Abhyankar's lemma.
Imports24
- Nyll.SchemeTheory.ProjectiveSpace.All
- Nyll.SchemeTheory.Modules.All
- Nyll.SchemeTheory.Affine.All
- Nyll.SchemeTheory.CategoryTheory.All
- Nyll.SchemeTheory.Descent.All
- Nyll.SchemeTheory.Divisors.All
- Nyll.SchemeTheory.Etale.All
- Nyll.SchemeTheory.Fibers.All
- Nyll.SchemeTheory.FiniteEtale.All
- Nyll.SchemeTheory.FunctionFields.All
- Nyll.SchemeTheory.LocalGeometry.All
- Nyll.SchemeTheory.Morphisms.All
- Nyll.SchemeTheory.NoetherNormalization.All
- Nyll.SchemeTheory.Normalization.All
- Nyll.SchemeTheory.PlaneCurves.All
- Nyll.SchemeTheory.RingTheory.All
- Nyll.SchemeTheory.Topology.All
- Nyll.SchemeTheory.WeilRestriction.All
- Nyll.SchemeTheory.AbhyankarLemma.All
- Nyll.SchemeTheory.Sheaves.All
- Nyll.SchemeTheory.Gluing.All
- Nyll.SchemeTheory.Cohomology.All
- Nyll.SchemeTheory.HomologicalAlgebra.All
- Nyll.SchemeTheory.Pi1.All
Imported by1
This module has no indexed declarations. Its imports and full source are available here.