# 1Phi0(a;;z) as infinite product

The following formula holds: $${}_1\phi_0(a;;z)=\displaystyle\prod_{k=0}^{\infty} \dfrac{1-aq^kz}{1-q^kz},$$ where ${}_1\phi_0$ denotes basic hypergeometric phi.