Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F11238 on
R4800: Number of injections from a finite set to itself
F11238
Formulation 0
Let
n
∈
N
be a
D996: Natural number
.
Then
|
Inj
(
{
1
,
…
,
n
}
→
{
1
,
…
,
n
}
)
|
=
n
!