Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
F11238
Formulation 0
Let nN be a D996: Natural number.
Then |Inj({1,,n}{1,,n})|=n!