Compfiles: Catalog Of Math Problems Formalized In Lean

Usa2014P2

This problem has not been formalized yet!

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

External resources: