P
Initializing...
The Adams substitution commutes with `q ↦ q⁻¹`. · Prove2Me