FLT/Mathlib/AlgebraicGeometry/EllipticCurve/
69 declarations, 0 contain sorry, 0 declared as axioms; 6 files
Folders
- Affine/ 1 files, 17 declarations
Files
- Aut.lean 8 declarations
- GaloisDescent.lean 2 declarations
- Reduction.lean 25 declarations
- VariableChange.lean 12 declarations
- Weierstrass.lean 5 declarations