ThmDex – An index of mathematical definitions, results, and conjectures.
Result R1855 on D2919: Permutation
Conditions for endomorphism on finite set to qualify as permutation