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