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