We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.
& : logical and
: -Pochhammer symbol : http://dlmf.nist.gov/5.18#i http://dlmf.nist.gov/17.2#SS1.p1
: basic hypergeometric (or -hypergeometric) function : http://dlmf.nist.gov/17.4#E1
Equation in Section 14.1 of KLS.
We ask users to provide relevant URL links in this space.