Nuprl Definition : isPolyOne

isPolyOne(p) ==  if p is a pair then let m,more = p in null(more) ∧b isMonomialOne(m) otherwise ff


Definitions occuring in Statement :  isMonomialOne: isMonomialOne(m),  null: null(as),  band: p ∧b q,  bfalse: ff,  ispair: if z is a pair then a otherwise b,  spread: spread def
Definitions occuring in definition :  ispair: if z is a pair then a otherwise b,  spread: spread def,  band: p ∧b q,  null: null(as),  isMonomialOne: isMonomialOne(m),  bfalse: ff
FDL editor aliases :  isPolyOne
Latex:
isPolyOne(p)  ==    if  p  is  a  pair  then  let  m,more  =  p  in  null(more)  \mwedge{}\msubb{}  isMonomialOne(m)  otherwise  ff


Date html generated: 2017_09_29-PM-05_52_09
Last ObjectModification: 2017_05_03-AM-11_29_20

Theory : omega


Home Index