A Lean Formalization of Finite Zero Sum Minimax via Sion's Theorem

Contributed by Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz

Source files

Download source .zip

root filemain.tex · root file24 KiB · SHA-256 0fca5440ff4c053a… · view text auxiliary filereferences.bib2 KiB · SHA-256 9a23c3967fb9e1f8… · view text

Back to the main record