Nuprl Definition : rev_permf
rev_permf(n) == λi.(n - 1 - i)
Definitions occuring in Statement :
lambda: λx.A[x],
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
subtract: n - m,
natural_number: $n
Latex:
rev\_permf(n) == \mlambda{}i.(n - 1 - i)
Date html generated:
2016_05_16-AM-07_30_20
Last ObjectModification:
2015_09_23-AM-09_51_19
Theory : perms_1
Home
Index