feat(ErdosProblems/1105): anti-Ramsey numbers for cycles and paths#1583

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

Vivekgupta008:mainVivekgupta008/formal-conjectures:mainCopy head branch name to clipboard