FLT/
3683 declarations, 50 contain sorry, 3 declared as axioms; 260 files
Folders
- Assumptions/ 3 files, 3 declarations
- AutomorphicForm/ 8 files, 394 declarations
- Basic/ 1 files, 3 declarations
- Data/ 3 files, 166 declarations
- DedekindDomain/ 9 files, 198 declarations
- Deformations/ 17 files, 288 declarations
- DivisionAlgebra/ 1 files, 104 declarations
- EllipticCurve/ 1 files, 14 declarations
- FreyCurve/ 3 files, 23 declarations
- GaloisRepresentation/ 8 files, 21 declarations
- GlobalLanglandsConjectures/ 2 files, 36 declarations
- GroupScheme/ 1 files, 0 declarations
- HaarMeasure/ 10 files, 150 declarations
- Hacks/ 1 files, 15 declarations
- HenselianLocalRing/ 3 files, 28 declarations
- KnownIn1980s/ 14 files, 276 declarations
- Mathlib/ 128 files, 926 declarations
- NumberField/ 8 files, 163 declarations
- Patching/ 14 files, 320 declarations
- QuaternionAlgebra/ 1 files, 69 declarations
- Slop/ 22 files, 474 declarations
- TateCurve/ 1 files, 0 declarations
Files
- Proof.lean 12 declarations