FLT/Slop/PGL2/FiniteSubgroups/
394 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- CyclicPartition.lean 38 declarations
- DicksonClassification.lean 1 declarations
- FieldReconstruction.lean 96 declarations
- NatClassEquation.lean 7 declarations
- PGLBasic.lean 40 declarations
- PSLBasic.lean 34 declarations
- PSLRecognition.lean 16 declarations
- PartitionHelpers.lean 28 declarations
- PartitionProof.lean 30 declarations
- RecognitionA5.lean 45 declarations
- TameClassification.lean 34 declarations
- WildClassification.lean 25 declarations