Nuprl Definition : free-word
free-word(X) == w1,w2:(X + X) List//word-equiv(X;w1;w2)
Definitions occuring in Statement :
word-equiv: word-equiv(X;w1;w2),
list: T List,
quotient: x,y:A//B[x; y],
union: left + right
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
list: T List,
union: left + right,
word-equiv: word-equiv(X;w1;w2)
FDL editor aliases :
free-word
Latex:
free-word(X) == w1,w2:(X + X) List//word-equiv(X;w1;w2)
Date html generated:
2020_05_20-AM-08_22_09
Last ObjectModification:
2017_01_14-PM-05_32_45
Theory : free!groups
Home
Index