fix(Wikipedia/WallSunSun): assume the discriminant is 0 or 1 mod 4#1528

YaelDillies merged 3 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

mo271:fix_wallsunsunmo271/formal-conjectures:fix_wallsunsunCopy head branch name to clipboard