HEXAGONbeta

A Lean formalization of Waldschmidt's subgroup theorem with period term for groups with elliptic factors

Contributed by Shawn Krisman

Source files

Download source .zip

root filepaper.tex · root file97 KiB · SHA-256 fcc922ab69fa1271… · view textauxiliary filepaper.bib7 KiB · SHA-256 05a1b747d7fbc17c… · view text

Back to the main record