Nuprl Definition : sg-change-init
g@j == let p,i,l1,l2 = g in <{y:p| sg-reachable(g;j;y)} , j, l1, l2>
Definitions occuring in Statement :
sg-reachable: sg-reachable(g;x;y),
spreadn: spread4,
set: {x:A| B[x]} ,
pair: <a, b>
Definitions occuring in definition :
spreadn: spread4,
set: {x:A| B[x]} ,
sg-reachable: sg-reachable(g;x;y),
pair: <a, b>
FDL editor aliases :
sg-at
Latex:
g@j == let p,i,l1,l2 = g in <\{y:p| sg-reachable(g;j;y)\} , j, l1, l2>
Date html generated:
2019_06_20-PM-00_54_05
Last ObjectModification:
2019_01_02-PM-01_32_22
Theory : co-recursion-2
Home
Index