chapter AFP
session Falling_Factorial_Sum = "HOL-Library" +
options [timeout = 300]
sessions
Discrete_Summation
Card_Partitions
theories
Falling_Factorial_Sum_Combinatorics
Falling_Factorial_Sum_Induction
Falling_Factorial_Sum_Vandermonde
document_files
"root.bib"
"root.tex"
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet am 2026-07-02)
¤
*© Formatika GbR, Deutschland
