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 file99 KiB · SHA-256 d9d346f5d65f6691… · view textauxiliary filepaper.bib8 KiB · SHA-256 61b9f03554b694c2… · view text

Back to the main record