User contributions for 130.92.9.58

12 December 2014

• 12:2312:23, 12 December 2014 diff hist +4,446 Lagrange's four-square theorem →The classical proof current

5 December 2014

• 11:2611:26, 5 December 2014 diff hist +839 Computability theory →Relative computability and the Turing degrees current