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