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