Nuprl Definition : isEmpty-nat-missing
isEmpty-nat-missing(s) == let max,missing = s in max <z 0 ∧b null(missing)
Definitions occuring in Statement :
null: null(as),
band: p ∧b q,
lt_int: i <z j,
spread: spread def,
natural_number: $n
FDL editor aliases :
isEmpty-nat-missing
isEmpty-nat-missing(s) == let max,missing = s in max <z 0 \mwedge{}\msubb{} null(missing)
Date html generated:
2015_07_17-AM-08_21_26
Last ObjectModification:
2013_04_01-PM-01_49_36
Home
Index