P
Initializing...
`lawCoef` sends `flatMap` to the sum of the pieces. · Prove2Me