Nuprl Definition : conj_perm
conj{p}(q) == p O q O inv_perm(p)
Definitions occuring in Statement :
comp_perm: comp_perm,
inv_perm: inv_perm(p)
Definitions occuring in definition :
comp_perm: comp_perm,
inv_perm: inv_perm(p)
Latex:
conj\{p\}(q) == p O q O inv\_perm(p)
Date html generated:
2016_05_16-AM-07_30_52
Last ObjectModification:
2015_09_23-AM-09_51_22
Theory : perms_1
Home
Index