P
Initializing...
Multiplication by `scalar r` is the `ℚ(q)`-scalar action. · Prove2Me