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

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

Formulation F4478 on R309: Left-invertible map iff injection

F4478

Formulation 0

Let $f : X \to Y$ be a D18: Map.

Then $f$ is a D977: Left-invertible map if and only if $f$ is an D467: Injective map.