uniqueness of an inverse map
Proposition
Let \(A,B\) be sets and \(f: A \rightarrow B\) a Bijection
Then the inverse map is unique.
Proof
special case of uniqueness of a two-sided inverse morphism
Let \(A,B\) be sets and \(f: A \rightarrow B\) a Bijection
Then the inverse map is unique.
special case of uniqueness of a two-sided inverse morphism
Date: nil
Created: 2025-01-17 Fr 21:24