Combinatorics · Nov 25, 2025

Erdős problem #56

Formalization of an existing proof. Contribution type: Formalization.

Contributors

Aristotle · GPT

AI systems: Aristotle, GPT

Sources