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 :
word-equiv: word-equiv(X;w1;w2),
union: left + right,
list: T List,
quotient: x,y:A//B[x; y]
FDL editor aliases :
free-word
Latex:
free-word(X) == w1,w2:(X + X) List//word-equiv(X;w1;w2)
Date html generated:
2017_01_19-PM-02_49_59
Last ObjectModification:
2017_01_14-PM-05_32_45
Theory : free!groups
Home
Index