`q ↦ q⁻¹` is an involution of `ℚ(q)`. · Prove2Me

P

Initializing...

`q ↦ q⁻¹` is an involution of `ℚ(q)`. · Prove2Me