Nuprl Definition : swap

swap(L;i;j) ==  (L o (i, j))


Definitions occuring in Statement :  permute_list: (L o f),  flip: (i, j)
Definitions occuring in definition :  permute_list: (L o f),  flip: (i, j)
FDL editor aliases :  swap
Latex:
swap(L;i;j)  ==    (L  o  (i,  j))


Date html generated: 2016_05_15-PM-02_04_06
Last ObjectModification: 2015_09_23-AM-07_37_45

Theory : list!


Home Index