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:
2018_07_25-PM-01_39_45
Last ObjectModification:
2018_06_01-AM-09_38_14
Theory : co-recursion
Home
Index