QProduct Prime Limits
QProduct prime-limit certificates add limit, monotonicity, sandwich, and tail arguments on top of finite q-product/product-integral certificates.
Use this page when the statement is not merely a finite product integral, but a prime-limit or limiting q-product theorem.
Finite product-integral template:
Exact Product-Integral Certificates
Detailed API reference: