User contributions
- 23:50, 27 November 2017 (diff | hist) . . (+18) . . 1973 IMO Problems/Problem 3 (→Solution)
- 05:42, 18 December 2015 (diff | hist) . . (-129) . . 1961 IMO Problems/Problem 4 (→Solution: Fixed errors which have gone unnoticed for >6 years)