chapter AFP
session Fishers_Inequality = "Berlekamp_Zassenhaus" +
options [timeout = 600]
sessions
Design_Theory
"HOL-Combinatorics"
Groebner_Bases
Polynomial_Factorization
"List-Index"
BenOr_Kozen_Reif
theories
Fishers_Inequality_Root
document_files
"root.bib"
"root.tex"
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-07-02)
¤
*© Formatika GbR, Deutschland
