Collaborative Lean 4 formalization

Mazur Theorem

Build status and machine-generated source inventory for the formalization of Mazur's torsion theorem over the rational numbers.

1,885Lean modules

1,797,519lines of Lean

78,038declarations

8,145import edges

Generated from commit f1315ca02ed8f2c81361c2e80b47f54c93dae7de.