feat(Mathoverflow): Add MO17560#1839

Paul-Lez wants to merge 4 commits intomaingoogle-deepmind/formal-conjectures:mainfrom

exponents-conjecturegoogle-deepmind/formal-conjectures:exponents-conjectureCopy head branch name to clipboard