Nuprl Definition : triangular-num
t(n) == (n * (n + 1)) ÷ 2
Definitions occuring in Statement :
divide: n ÷ m,
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
add: n + m,
multiply: n * m,
divide: n ÷ m
FDL editor aliases :
triangular-num
Latex:
t(n) == (n * (n + 1)) \mdiv{} 2
Date html generated:
2019_06_20-PM-02_37_44
Last ObjectModification:
2019_06_12-PM-00_26_20
Theory : num_thy_1
Home
Index