Compfiles: Catalog Of Math Problems Formalized In Lean

Imo1983P3

This problem has not been formalized yet!

To add a formalization of it, submit a pull request to the Compfiles Github repository.

External resources: