FormalConjecturesForMathlib/AlgebraicGeometry/EllipticCurve/
20 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- GlobalPeriod.lean 4 declarations
- MinimalDiscriminant.lean 2 declarations
- Regulator.lean 5 declarations
- Tamagawa.lean 3 declarations
- TateShafarevich.lean 6 declarations