Title: A mixed strategy minimax theorem