chapter AFP
session Khovanskii_Theorem = "HOL-Analysis" +
options [timeout = 600]
sessions
Jacobson_Basic_Algebra
Pluennecke_Ruzsa_Inequality
Bernoulli
"HOL-Library"
theories
Khovanskii
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-07-01]
