Nuprl Definition : altW-item

altW-item(w;b) == coW-item(w;b)

Definitions occuring in Statement : coW-item: coW-item(w;b)
Definitions occuring in definition : coW-item: coW-item(w;b)
FDL editor aliases : altW-item

Latex:
altW-item(w;b) == coW-item(w;b) Date html generated: 2019_06_20-PM-01_12_14 Last ObjectModification: 2019_01_02-PM-01_35_45 Theory : co-recursion-2 Home Index