P

Initializing...

`log ∘ exp = id` on series with constant term `0`. · Prove2Me