chapter AFP
session Bell_Numbers_Spivey = Card_Partitions +
options [timeout = 600]
theories
Card_Partitions.Card_Partitions (* FIXME document? *)
Bell_Numbers
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.8 Sekunden, vorverarbeitet 2026-09-29]
