Add Erdős Problem 1175 (triangle-free subgraph of uncountable chromatic graph)#3786

henrykmichalewski wants to merge 4 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

henrykmichalewski:add-problem-1175henrykmichalewski/formal-conjectures:add-problem-1175Copy head branch name to clipboard