P
Initializing...
`ψ_δ` on scalars is `q ↦ q^δ`. · Prove2Me