Nuprl Definition : partial-permutations-list
partial-permutations-list(n;i) == filter(λa.(a (n - 1) =z i);permutations-list(n))
Definitions occuring in Statement :
permutations-list: permutations-list(n),
filter: filter(P;l),
eq_int: (i =z j),
apply: f a,
lambda: λx.A[x],
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
filter: filter(P;l),
lambda: λx.A[x],
eq_int: (i =z j),
apply: f a,
subtract: n - m,
natural_number: $n,
permutations-list: permutations-list(n)
FDL editor aliases :
partial-permutations-list
Latex:
partial-permutations-list(n;i) == filter(\mlambda{}a.(a (n - 1) =\msubz{} i);permutations-list(n))
Date html generated:
2018_05_21-PM-08_23_21
Last ObjectModification:
2017_12_15-AM-10_25_30
Theory : general
Home
Index