◀ ▲ ▶Branches / Number-systems-arithmetics / Corollary: `\((x^{-1})^{-1}=x\)`

Corollary: \((x^{-1})^{-1}=x\)

(related to Proposition: Uniqueness of Inverse Real Numbers With Respect to Multiplication)

The equation \((x^{-1})^{-1}=x\) holds for all \(x\in\mathbb R\) with \(x\neq 0\).

Table of Contents

Proofs: 1

Thank you to the contributors under CC BY-SA 4.0!

Github: