PhD
1
Introduction
▶
1.0.1
What is being formalised?
2
Restricted Power Series
3
Gauss Norm
4
Newton Polygons
▶
4.1
Polynomials
4.2
Power series
4.3
Weierstrass preparation theorem
5
Fujisaki’s Lemma
6
Quaternionic Modular Forms
▶
6.1
Definition
6.2
Finite Dimensional
6.3
Hecke Operators
Chapter 1 graph
Chapter 2 graph
Chapter 3 graph
Chapter 4 graph
Chapter 5 graph
Chapter 6 graph
5 Fujisaki’s Lemma