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

Proof P320 on R301: Canonical identity map is an injection

P320

This result is a particular case of R2767: Identity map is an injection. $\square$