ErdosProblems/387: sync solved status#4374

williamjblair wants to merge 1 commit into

google-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

williamjblair:codex/erdos-387-status-syncwilliamjblair/formal-conjectures:codex/erdos-387-status-syncCopy head branch name to clipboard