search

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

We can remove `is_coprime b c` and `is_coprime c a` hypothesis from abc #32

Closed seewoo5 closed 3 months ago

jcpaik commented 3 months ago

Done somewhere