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
9.
References
←
Blueprint Summary
Blueprint Bibliography
→
9. References
🔗
←
Blueprint Summary
Blueprint Bibliography
→