A 50-year-old computer-assisted proof

3 points | by speckx an hour ago

No comments yet