Nuprl Definition : copath-at

copath-at(w;p) ==  let n,q = p in coPath-at(n;w;q)


Definitions occuring in Statement :  coPath-at: coPath-at(n;w;p),  spread: spread def
Definitions occuring in definition :  spread: spread def,  coPath-at: coPath-at(n;w;p)
FDL editor aliases :  copath-at
Latex:
copath-at(w;p)  ==    let  n,q  =  p  in  coPath-at(n;w;q)


Date html generated: 2019_06_20-PM-00_56_23
Last ObjectModification: 2019_01_02-PM-01_33_14

Theory : co-recursion-2


Home Index