Theorem Imo2024Q5.Strategy.play_zero

Modification history