Nuprl Definition : copath-length
copath-length(p) == fst(p)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
copath-length
Latex:
copath-length(p) == fst(p)
Date html generated:
2019_06_20-PM-00_56_32
Last ObjectModification:
2019_01_02-PM-01_33_22
Theory : co-recursion-2
Home
Index