Theoremdex.org
Definitions
,
Results
,
Conjectures
Proof
for
R301: Canonical identity map is injection
Proof 0
Let $X$ be a
D11: Set
.
Let $I : X \to X$ be a
D4428: Canonical identity map
on $X$.
This result is a corollary to
R2767: Identity map is injection
. $\square$