Theorem Imo2024Q5.Path.firstMonster_eq_none

Modification history