P

Initializing...

Fixed-point Taylor approximation of $e^z$ (Harvey–van der Hoeven §2.8) · Prove2Me