Trough

Miniproject: Fujisaki's Lemma

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
    
    Fermat's Last Theorem (Imperial)
    
    Introduction
    
    First reductions of the problem
    
    Reducibility of p-torsion of the Frey curve
    
    An example of an automorphic form
    
    Automorphic forms and the Langlands Conjectures
    
    Miniproject: Frobenius elements
    
    Miniproject: Adeles
    
    Miniproject: Haar Characters
    
    Miniproject: Fujisaki's Lemma
    
    Miniproject: Fujisaki's Lemma
    
    The goal
    
    Initial definitions
    
    Enter the adeles
    
    The proof
    
    Miniproject: Quaternion algebras
    
    Miniproject: Hecke Operators
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
Fermat's Last Theorem (Imperial)
Miniproject: Fujisaki's Lemma

Loading the map…

← Miniproject: Fujisaki's Lemma

Miniproject: Fujisaki's Lemma

The goal
Initial definitions
Enter the adeles
The proof

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.