`FLT/Slop/`

474 declarations, 0 contain sorry, 0 declared as axioms; 22 files

Folders

DimensionTheorem/ 6 files, 48 declarations
NumberTheory/ 1 files, 8 declarations
PGL2/ 12 files, 394 declarations
RepresentationTheory/ 2 files, 24 declarations

Files

DimensionTheorem.lean 1 import, no declarations