Nuprl Definition : sg-pos
Pos(g) == fst(g)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
sg-pos
Latex:
Pos(g) == fst(g)
Date html generated:
2018_07_25-PM-01_30_57
Last ObjectModification:
2018_06_06-AM-10_43_54
Theory : co-recursion
Home
Index