Nuprl Definition : copath-tl

copath-tl(x) ==  let n,p in <1, snd(p)>



Definitions occuring in Statement :  pi2: snd(t) spread: spread def pair: <a, b> subtract: m natural_number: $n
Definitions occuring in definition :  spread: spread def pair: <a, b> subtract: 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