A Lean Formalization of Roberts Theorem on Unrestricted Valuations

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

Source files

Download source .zip

root filemain.tex · root file27 KiB · SHA-256 ebe527e7d211688c… · view text auxiliary filereferences.bib2 KiB · SHA-256 00554277c3a2d9d2… · view text

Back to the main record