Theorem Imo1985Q2.result

Modification history

2025-06-23 14:05
Archive/Imo/Imo1985Q2.lean
feat: IMO 1985 Q2 (#25783)
Added Imo1985Q2.resultView on Github →