P
Initializing...
`recipRat q = q⁻¹`. · Prove2Me