Theorem Imo2024Q5.path0_firstMonster_eq_apply_row1

Modification history