Nuprl Definition : nonneg-poly
nonneg-poly(p) == (∀m∈p.nonneg-monomial(m))_b
Definitions occuring in Statement :
bl-all: (∀x∈L.P[x])_b,
nonneg-monomial: nonneg-monomial(m)
Definitions occuring in definition :
bl-all: (∀x∈L.P[x])_b,
nonneg-monomial: nonneg-monomial(m)
FDL editor aliases :
nonneg-poly
Latex:
nonneg-poly(p) == (\mforall{}m\mmember{}p.nonneg-monomial(m))\_b
Date html generated:
2019_06_20-PM-01_35_01
Last ObjectModification:
2019_04_08-PM-05_19_10
Theory : list_1
Home
Index