Theorem Imo1982Q1.IsGood.f₃

Modification history