P
Initializing...
The constant term of `ψ_k f` is `ψ_k` of the constant term of `f` (`k ≠ 0`). · Prove2Me