number.house
Sequences
Properties
7785882
domain:
N
Appears in sequences
a(n) = Sum_{k=0..6} binomial(12,k)*binomial(n,k).
at n=15
A247611