P
Initializing...
`plethSum f` has constant term `0`. · Prove2Me