HEXAGONbeta

A lean formalization of Roy's strong six exponentials theorem

Contributed by Shawn Krisman

Source files

Download source .zip

root filemain.tex · root file24 KiB · SHA-256 129055c170e135ba… · view textauxiliary filereferences.bib4 KiB · SHA-256 867d9abb567e311a… · view text

Back to the main record