Proofs for certain conjectures of Gosper on q-trigonometric identities

Extracted source text ยท arXiv 2010.05011

%auto-ignore