Nuprl Definition : permutations-list

permutations-list(n) ==  TERMOF{list-permutations:o, 1:l} n


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  list-permutations
TermOfs occuring in Definition :  list-permutations
FDL editor aliases :  permutations-list
Latex:
permutations-list(n)  ==    TERMOF\{list-permutations:o,  1:l\}  n


Date html generated: 2018_05_21-PM-08_21_16
Last ObjectModification: 2017_12_11-AM-10_32_48

Theory : general


Home Index