Nuprl Definition : copath-tl
copath-tl(x) == let n,p = x in <n - 1, snd(p)>
Definitions occuring in Statement :
pi2: snd(t),
spread: spread def,
pair: <a, b>,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
pair: <a, b>,
subtract: n - m,
natural_number: $n,
pi2: snd(t)
FDL editor aliases :
copath-tl
Latex:
copath-tl(x) == let n,p = x in <n - 1, snd(p)>
Date html generated:
2019_06_20-PM-00_56_40
Last ObjectModification:
2019_01_02-PM-01_33_31
Theory : co-recursion-2
Home
Index