P
Initializing...
`log` preserves congruence through degree `n` (on series with constant term `1`). · Prove2Me