ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3098 on R4542: Map is inverse to its inverse

P3098

Clear from the definition.