feat(ErdosProblems): 847#1400

archiebrowne wants to merge 8 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

archiebrowne:erdos_847archiebrowne/formal-conjectures:erdos_847Copy head branch name to clipboard