FLT/Mathlib/NumberTheory/
60 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Folders
- NumberField/ 6 files, 32 declarations
- Padics/ 2 files, 28 declarations
FLT/Mathlib/NumberTheory/60 declarations, 0 contain sorry, 0 declared as axioms; 8 files