FLT/Mathlib/
926 declarations, 0 contain sorry, 0 declared as axioms; 128 files
Folders
- Algebra/ 18 files, 165 declarations
- AlgebraicGeometry/ 6 files, 69 declarations
- Analysis/ 1 files, 1 declarations
- Data/ 3 files, 3 declarations
- FieldTheory/ 5 files, 29 declarations
- GroupTheory/ 4 files, 45 declarations
- LinearAlgebra/ 10 files, 53 declarations
- MeasureTheory/ 12 files, 73 declarations
- NumberTheory/ 8 files, 60 declarations
- Order/ 1 files, 2 declarations
- RepresentationTheory/ 5 files, 60 declarations
- RingTheory/ 21 files, 96 declarations
- Topology/ 34 files, 270 declarations