Theorem Imo2006Q3.four_pow_four_pos

Modification history