Nuprl Definition : free-letter
free-letter(x) == [inl x]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
inl: inl x
Definitions occuring in definition :
nil: [],
inl: inl x,
cons: [a / b]
FDL editor aliases :
free-letter
Latex:
free-letter(x) == [inl x]
Date html generated:
2017_01_19-PM-02_50_53
Last ObjectModification:
2017_01_15-PM-01_15_15
Theory : free!groups
Home
Index