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