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

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

Result R4056 on D467: Injective map

Extending codomain preserves injectivity