Add a variant of Mason--Stothers not requiring coprimality

seewoo5 / lean-poly-abc

Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4

8 stars 0 forks source link

Closed jcpaik closed 3 weeks ago