Session Discrete_Summation
View
theory dependencies
View
document
View
outline
Theories
HOL-Combinatorics.Stirling
Factorials
Discrete_Summation
Summation_Conversion
Examples