Nuprl Definition : tl_perm
tl_perm(p) == p O txpose_perm(0;p.b 0)
Definitions occuring in Statement :
txpose_perm: txpose_perm,
comp_perm: comp_perm,
perm_b: p.b,
apply: f a,
natural_number: $n
Definitions occuring in definition :
comp_perm: comp_perm,
txpose_perm: txpose_perm,
apply: f a,
perm_b: p.b,
natural_number: $n
Latex:
tl\_perm(p) == p O txpose\_perm(0;p.b 0)
Date html generated:
2016_05_16-AM-07_33_04
Last ObjectModification:
2015_09_23-AM-09_51_26
Theory : perms_2
Home
Index