Nuprl Definition : coW-dom
coW-dom(a.B[a];w) == B[fst(w)]
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
coW-dom
Latex:
coW-dom(a.B[a];w) == B[fst(w)]
Date html generated:
2019_06_20-PM-00_56_07
Last ObjectModification:
2019_01_02-PM-01_32_44
Theory : co-recursion-2
Home
Index