All.lean
Nyll.All
0 declarations indexed from sourceView source ↗
Module documentation
Workspace-wide aggregate of all maintained Lean source libraries.
Imports14
- Nyll.ProCGroups.All
- Nyll.ValuedFieldTheory.All
- Nyll.GaloisCohomology.All
- Nyll.SchemeTheory.All
- Nyll.ClassFieldTheory.All
- Nyll.AlgebraicCurves.All
- Nyll.EtaleFundamentalGroups.All
- Nyll.EtaleCohomology.All
- Nyll.SawinTotallyRealTowers.All
- Nyll.JacobianVarieties.All
- Nyll.Yamaguchi26AbfaithfulGalois.All
- Nyll.Yamaguchi26SolvableCoverings.All
- Nyll.AnabelianGeometry.All
- Nyll.ShimizuYamaguchi26BranchedCoverings.All
Imported by1
This module has no indexed declarations. Its imports and full source are available here.