P
Initializing...
The reciprocal substitution conjugates `S` to `S⁻¹`. · Prove2Me