P
Initializing...
`adamsRat δ q = q^δ` for `δ > 0`. · Prove2Me