We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.
: sum : http://drmf.wmflabs.org/wiki/Definition:sum
: element of : http://dlmf.nist.gov/front/introduction#Sx4.p1.t1.r9
Equation in Section 1.1 of KLS.
We ask users to provide relevant URL links in this space.