Solution of the task: IMO Shortlist 1978 problem 12
Solutions
#Time ↓TaskUserSolutionCorrectness
155625 years, 8 monthsIMO Shortlist 1978 problem 12Riemannian_Curvature empty  
102278 yearsIMO Shortlist 1978 problem 12helen1c empty