Theorem Imo2024Q5.winningStrategy_play_one_eq_none_or_play_two_eq_none

Modification history