Theorem Imo1981Q3.ProblemPredicate.eq_imp_1

Modification history