Neither player can guarantee winning via finite strategies when plays may require infinitely many mo...
This proposition has not been edited since the history system was added.