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.

Generated from commit 4d20ee38bc71dbaf866d9956f305e8b21f4a9e52.