# Formula:KLS:01.15:01

## Proof

We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.

## Symbols List

& : logical and

: -derivative : http://drmf.wmflabs.org/wiki/Definition:qderiv

## Bibliography

Equation in Section 1.15 of **KLS**.

## URL links

We ask users to provide relevant URL links in this space.