User contributions for 86.127.34.116
Appearance
For 86.127.34.116 talk block log logs filter log
1 December 2020
- 03:1103:11, 1 December 2020 diff hist +27 Talk:Mathematical induction →Level of this article: also usertalk
- 03:0803:08, 1 December 2020 diff hist +380 Talk:Mathematical induction →Level of this article: questions re the status of non-introductory labelling
- 03:0003:00, 1 December 2020 diff hist +387 Talk:Mathematical induction →Level of this article: re
30 November 2020
- 23:3023:30, 30 November 2020 diff hist +1 User talk:Jochen Burghardt →Unneeded links (at mathematical induction)?: too typo
- 23:0323:03, 30 November 2020 diff hist +1,917 User talk:Jochen Burghardt →Unneeded links (at mathematical induction)?: disagree re the details
- 14:4214:42, 30 November 2020 diff hist +198 User talk:Jochen Burghardt →Unneeded links (at mathematical induction)?: main objection against WP:EASTEREGGs?
29 November 2020
- 21:5921:59, 29 November 2020 diff hist +4 Successor function →Overview: formal lang
- 21:2921:29, 29 November 2020 diff hist 0 Mathematical induction fixed natural number notation k or i Tag: Reverted