Z Is Diophantine in Q

(github.com)

4 points | by bananaflag 5 hours ago ago