Compfiles: Catalog Of Math Problems Formalized In Lean

Usa1992P4

This problem has not been formalized yet!

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

External resources: