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

Proof P3099 on R4543: Map inverse is invertible

P3099

This result is a particular case of R4542: Map is inverse to its inverse. $\square$