P
Initializing...
`ψ_δ ∘ ψ_k = ψ_{δk}` on `ℚ(q)`. · Prove2Me