The Chebotarev Density Theorem in Lean
The Chebotarev Density Theorem in Lean
Table of Contents
1.
Dirichlet density
2.
Decomposition, inertia, Frobenius
3.
Zeta factorisation for abelian extensions
4.
Chebotarev: cyclotomic case
5.
Chebotarev: abelian case
6.
Chebotarev density theorem
7.
Dependency graph
Dependency Graph
8.
Progress summary
Blueprint Summary
9.
References
Blueprint Bibliography
8.
Progress summary
←
Dependency Graph
Blueprint Summary
→
8. Progress summary
🔗
←
Dependency Graph
Blueprint Summary
→