Nuprl Definition : nonneg-monomial

nonneg-monomial(m) ==  let c,L = m in 0 ≤z c ∧b even-int-list(L)


Definitions occuring in Statement :  even-int-list: even-int-list(L),  band: p ∧b q,  le_int: i ≤z j,  spread: spread def,  natural_number: $n
Definitions occuring in definition :  spread: spread def,  band: p ∧b q,  le_int: i ≤z j,  natural_number: $n,  even-int-list: even-int-list(L)
FDL editor aliases :  nonneg-monomial
Latex:
nonneg-monomial(m)  ==    let  c,L  =  m  in  0  \mleq{}z  c  \mwedge{}\msubb{}  even-int-list(L)


Date html generated: 2019_06_20-PM-00_45_48
Last ObjectModification: 2019_04_08-PM-01_58_20

Theory : omega


Home Index