`FLT/GaloisRepresentation/`

21 declarations, 8 contain sorry, 0 declared as axioms; 8 files

Folders

HardlyRamified/ 6 files, 10 declarations

Files

Automorphic.lean 5 declarations
Cyclotomic.lean 6 declarations