Erdős Problem 1071: status mismatch (repo=open, erdosproblems.com=formally solved) #3575
Description
The status of [Erdős problem 1071]appears to have changed.
- This repo:
open(inFormalConjectures/ErdosProblems/1071.lean) - erdosproblems.com/1071:
formally solved
Please verify and update the @[category research ...] annotation if appropriate.