Nuprl Definition : inv_perm

inv_perm(p) ==  mk_perm(p.b;p.f)



Definitions occuring in Statement :  mk_perm: mk_perm(f;b) perm_b: p.b perm_f: p.f
Definitions occuring in definition :  mk_perm: mk_perm(f;b) perm_b: p.b perm_f: p.f

Latex:
inv\_perm(p)  ==    mk\_perm(p.b;p.f)



Date html generated: 2016_05_16-AM-07_28_41
Last ObjectModification: 2015_09_23-AM-09_51_13

Theory : perms_1


Home Index