feat(GreensOpenProblems/64): formalize Ω(p-2) odd infinitude question#4364

Sanexxxx777 wants to merge 1 commit into

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

Sanexxxx777:greens-64-omega-p-minus-2Sanexxxx777/formal-conjectures:greens-64-omega-p-minus-2Copy head branch name to clipboard