FLT/GaloisRepresentation/HardlyRamified/
10 declarations, 6 contain sorry, 0 declared as axioms; 6 files
Files
- Defs.lean 3 declarations
- Family.lean 1 declarations
- Frey.lean 3 declarations
- Lift.lean 1 declarations
- ModThree.lean 1 declarations
- Threeadic.lean 1 declarations