Nuprl Definition : ctt-tokens
ctt-tokens() ==
``Glue case sigma path pi F I decode1 decode2 decode3 encode1 encode2 encode3 pathabs pathap lambda apply pair fst ...
Definitions occuring in Statement :
cons: [a / b],
nil: [],
token: "$token"
Definitions occuring in definition :
cons: [a / b],
token: "$token",
nil: []
FDL editor aliases :
ctt-tokens
Latex:
ctt-tokens() ==
``Glue case sigma path pi F I decode1 decode2 decode3 encode1 encode2 encode3 pathabs pathap ...
Date html generated:
2020_05_20-PM-08_15_44
Last ObjectModification:
2020_05_07-PM-03_11_11
Theory : cubical!type!theory
Home
Index