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