← all areas

Namespace HeckeTreeWalk 3 theorems

• Shell-weighted walk counts on the (q+1)-regular tree HeckeTreeWalk.cast_walkCount_zero_add_sum_mul_pow_sub_pow_eq_centralBinom_mul_pow 0 below · cited by 2 · depth 28
• A weighted-moment identity for walks on the (q+1)-regular tree HeckeTreeWalk.two_mul_sub_eq_sub_mul_pow_sub_mul_centralBinom_mul_pow 0 below · cited by 1 · depth 28
• Off-centre walk-count identity on the (q+1)-regular tree HeckeTreeWalk.cast_walkCount_add_sum_mul_pow_sub_pow_eq_choose_mul_pow 0 below · cited by 1 · depth 32