Nuprl Definition : copath-nil
() == <0, ⋅>
Definitions occuring in Statement :
it: ⋅,
pair: <a, b>,
natural_number: $n
Definitions occuring in definition :
pair: <a, b>,
natural_number: $n,
it: ⋅
FDL editor aliases :
copath-nil
Latex:
() == ɘ, \mcdot{}>
Date html generated:
2018_07_25-PM-01_39_26
Last ObjectModification:
2018_06_04-AM-10_12_06
Theory : co-recursion
Home
Index