Nuprl Definition : upto

upto(n) ==  [0, n)


Definitions occuring in Statement :  from-upto: [n, m),  natural_number: $n
Definitions occuring in definition :  from-upto: [n, m),  natural_number: $n
Rules referencing :  barInduction
FDL editor aliases :  upto
Latex:
upto(n)  ==    [0,  n)


Date html generated: 2016_05_14-PM-02_02_50
Last ObjectModification: 2015_09_22-PM-05_55_19

Theory : list_1


Home Index