Nuprl Definition : copath-extend
copath-extend(q;t) == let n,p = q in <n + 1, coPath-extend(n;p;t)>
Definitions occuring in Statement :
coPath-extend: coPath-extend(n;p;t),
spread: spread def,
pair: <a, b>,
add: n + m,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
pair: <a, b>,
add: n + m,
natural_number: $n,
coPath-extend: coPath-extend(n;p;t)
FDL editor aliases :
copath-extend
Latex:
copath-extend(q;t) == let n,p = q in <n + 1, coPath-extend(n;p;t)>
Date html generated:
2019_06_20-PM-00_56_30
Last ObjectModification:
2019_01_02-PM-01_33_18
Theory : co-recursion-2
Home
Index