feat(ErdosProblems): 1096#1379

anhhuyalex wants to merge 2 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

anhhuyalex:Erdos1096anhhuyalex/formal-conjectures:Erdos1096Copy head branch name to clipboard