Nuprl Definition : tswap
swap{n}(i;j) == swap(i;j)
Definitions occuring in Statement :
swap: swap(i;j)
Definitions occuring in definition :
swap: swap(i;j)
Latex:
swap\{n\}(i;j) == swap(i;j)
Date html generated:
2016_05_16-AM-07_29_30
Last ObjectModification:
2015_09_23-AM-09_51_18
Theory : perms_1
Home
Index