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