P
Initializing...
`(1/w)^i = w^(-i)` in a localization away from `w`. · Prove2Me