Nuprl Definition : nil

[] ==  ⋅


Definitions occuring in Statement :  it: ⋅
Definitions occuring in definition :  it: ⋅
Rules referencing :  barInduction
Latex:
[]  ==    \mcdot{}


Date html generated: 2016_05_14-AM-06_25_42
Last ObjectModification: 2015_12_03-PM-02_04_42

Theory : list_0


Home Index