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
Latex:
isEmpty-nat-missing(s)  ==    let  max,missing  =  s  in  max  <z  0  \mwedge{}\msubb{}  null(missing)


Date html generated: 2016_05_17-PM-01_45_03
Last ObjectModification: 2013_04_01-PM-01_49_36

Theory : datatype-signatures


Home Index