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

Some golfing #18

Closed tb65536 closed 1 year ago

tb65536 commented 1 year ago

Here's some golfing.