Nuprl Definition : txpose_perm
txpose_perm(i;j) == mk_perm(swap(i;j);swap(i;j))
Definitions occuring in Statement :
swap: swap(i;j),
mk_perm: mk_perm(f;b)
Definitions occuring in definition :
mk_perm: mk_perm(f;b),
swap: swap(i;j)
Latex:
txpose\_perm(i;j) == mk\_perm(swap(i;j);swap(i;j))
Date html generated:
2016_05_16-AM-07_29_58
Last ObjectModification:
2015_09_23-AM-09_51_18
Theory : perms_1
Home
Index