1. Ash, R.B.: A Course in Algebraic Number Theory. Dover, Mineola, New York (2010)
2. Dummit, D.S., Foote, R.M.: Abstract Algebra, 3rd edn. Wiley, Hoboken (2014)
3. Gardner, Z.: Local class field theory (2019). https://web.ma.utexas.edu/SMC/2019/Local%20Class%20Field%20Theory.pdf
4. Glasheen, J.: ExistsFrobenius, 30 April 2024. https://github.com/ImperialCollegeLondon/FLT/blob/2386cce66c9ba2eae446d1f48c79e7ba544a27a5/FLT/ExistsFrobenius.lean
5. Karatarakis, M.: Mathlib.ringtheory.valuation.ramificationgroup (2022). https://github.com/leanprover-community/mathlib4/blob/dc8cf8b25927b121ce49a85d620be120409d51a0/Mathlib/RingTheory/Valuation/RamificationGroup.lean#L28-L29