Theorem Imo1982Q1.IsGood.superhomogeneous

Modification history