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

replace `isCoprime.num_denom` with existing one #44

Closed seewoo5 closed 5 months ago

seewoo5 commented 5 months ago

Closes #22