q-Newton / q-Vandermonde-type identity behind `T = Γ L Γ⁻¹ U Γ` (`qpascal_identity`)

Initializing...

q-Newton / q-Vandermonde-type identity behind `T = Γ L Γ⁻¹ U Γ` (`qpascal_identity`) · Prove2Me