P
Initializing...
`scalar` is the algebra map `ℚ(q) → Coef`. · Prove2Me