P
Initializing...
`lawCoef` turns `lawScale x` into multiplication by the scalar `x.rational`. · Prove2Me