All.lean
Nyll.AnabelianGeometry.All
0 declarations indexed from sourceView source ↗
Module documentation
Anabelian geometry
Geometric fundamental groups of curves, Kummer theory, cuspidal inertia, and arithmetic reconstruction. This library is under development toward the formalization of Grothendieck's anabelian conjecture.
Imports6
Imported by1
This module has no indexed declarations. Its imports and full source are available here.