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: 2019_06_20-PM-00_56_34
Last ObjectModification: 2019_01_02-PM-01_33_24

Theory : co-recursion-2


Home Index