Nuprl Definition : singleton-nat-missing
singleton-nat-missing(i) == <i, [0, i)>
Definitions occuring in Statement :
from-upto: [n, m),
pair: <a, b>,
natural_number: $n
FDL editor aliases :
singleton-nat-missing
singleton-nat-missing(i) == <i, [0, i)>
Date html generated:
2015_07_17-AM-08_21_28
Last ObjectModification:
2013_04_01-PM-02_08_10
Home
Index