Leading term: if `f` vanishes below degree `n` and `U₀₀ = 1`, then `[xⁿ] ρ(U)(Φ f) = q^{-tri n} [xⁿ] f`.

Initializing...

Leading term: if `f` vanishes below degree `n` and `U₀₀ = 1`, then `[xⁿ] ρ(U)(Φ f) = q^{-tri n} [xⁿ] f`. · Prove2Me