Von Neumann's minimax theorem through Fourier-Motzkin elimination | Arena Library | Arena