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
Blueprint Bibliography
←
9. References
Blueprint Bibliography
🔗
Bibliography (0)
No bibliography entries registered.
←
9. References