Nuprl Definition : co-nil

() ==  ⋅


Definitions occuring in Statement :  it: ⋅
Definitions occuring in definition :  it: ⋅
FDL editor aliases :  co-nil
Latex:
()  ==    \mcdot{}


Date html generated: 2019_06_20-PM-00_38_08
Last ObjectModification: 2018_12_04-PM-00_11_48

Theory : list_0


Home Index