Theorem Imo2024Q5.Strategy.not_forcesWinIn_two

Modification history