Nuprl Definition : empty-nat-missing
empty-nat-missing() == <-1, []>
Definitions occuring in Statement :
nil: [],
pair: <a, b>,
minus: -n,
natural_number: $n
FDL editor aliases :
empty-nat-missing
empty-nat-missing() == <-1, []>
Date html generated:
2015_07_17-AM-08_21_24
Last ObjectModification:
2013_04_01-PM-01_04_52
Home
Index