FLT/KnownIn1980s/EllipticCurves/
268 declarations, 17 contain sorry, 0 declared as axioms; 11 files
Folders
- QuadraticTwists/ 2 files, 50 declarations
Files
- Flat.lean 3 declarations
- GoodReduction.lean 1 declarations
- ReductionBaseChange.lean 12 declarations
- TateCurve.lean 38 declarations
- TateCurveBaseChange.lean 11 declarations
- TateCurveConstruction.lean 128 declarations
- TateParameter.lean 23 declarations
- Torsion.lean 1 declarations
- WeilPairing.lean 1 declarations