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
Latex:
empty-nat-missing()  ==    <-1,  []>


Date html generated: 2016_05_17-PM-01_44_58
Last ObjectModification: 2013_04_01-PM-01_04_52

Theory : datatype-signatures


Home Index