User contributions for 2601:646:8000:40F0:182C:BA13:8A41:31B0
Appearance
Results for 2601:646:8000:40F0:182C:BA13:8A41:31B0 talk block log logs global block log filter log
28 June 2020
- 01:0201:02, 28 June 2020 diff hist +2,053 Five color theorem →Outline of the proof by contradiction
- 00:5200:52, 28 June 2020 diff hist −1 Four color theorem →Precise formulation of the theorem
- 00:3400:34, 28 June 2020 diff hist +1,891 Four color theorem →Proof by computer
- 00:3100:31, 28 June 2020 diff hist +2,930 Four color theorem →Precise formulation of the theorem