Def Imo1985Q2.Condition

Modification history

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