Nuprl Definition : isMonomialOne
isMonomialOne(m) == let a,vs = m in null(vs) ∧b (a =z 1)
Definitions occuring in Statement :
null: null(as),
band: p ∧b q,
eq_int: (i =z j),
spread: spread def,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
band: p ∧b q,
null: null(as),
eq_int: (i =z j),
natural_number: $n
FDL editor aliases :
isMonomialOne
Latex:
isMonomialOne(m) == let a,vs = m in null(vs) \mwedge{}\msubb{} (a =\msubz{} 1)
Date html generated:
2017_09_29-PM-05_52_06
Last ObjectModification:
2017_05_03-AM-11_26_06
Theory : omega
Home
Index