P
Initializing...
The Euler transforms `eulerSer ε a` have constant term `1`. · Prove2Me