FLT/Data/
166 declarations, 4 contain sorry, 0 declared as axioms; 3 files
Files
- Hurwitz.lean 95 declarations
- HurwitzRatHat.lean 14 declarations
- QHat.lean 57 declarations
FLT/Data/166 declarations, 4 contain sorry, 0 declared as axioms; 3 files