FLT/Assumptions/
3 declarations, 0 contain sorry, 3 declared as axioms; 3 files
Files
- KnownIn1980s.lean 1 declarations
- Mazur.lean 1 declarations
- Odlyzko.lean 1 declarations
FLT/Assumptions/3 declarations, 0 contain sorry, 3 declared as axioms; 3 files