Exceptional Set in the abc Conjecture included in LeanPool #78

Your Exceptional Set in the abc Conjecture formalization is included in LeanPool. The recent merged maintenance PR is https://github.com/Vilin97/lean-pool/pull/524.

The project was already imported before that maintenance PR; this issue records its inclusion and provides the current merged reference. Thank you for making the formalization available.