Theorem Imo1982Q1.IsGood.superlinear

Modification history