P

Initializing...

Every `f + π h` is uniquely of the form `(1 + π u) (f + π Σ zᵢ bᵢ)`. · Prove2Me