Theorem Imo2024Q5.Path.ofFn_firstMonster_eq_none

Modification history