P

Initializing...

Conjugating `ρ(U)` by the reciprocal substitution gives `ρ̄(v U)`. · Prove2Me