Nuprl Definition : iMonomial
iMonomial() == ℤ-o × {vs:ℤ List| sorted(vs)}
Definitions occuring in Statement :
sorted: sorted(L),
list: T List,
int_nzero: ℤ-o,
set: {x:A| B[x]} ,
product: x:A × B[x],
int: ℤ
Definitions occuring in definition :
product: x:A × B[x],
int_nzero: ℤ-o,
set: {x:A| B[x]} ,
list: T List,
int: ℤ,
sorted: sorted(L)
FDL editor aliases :
iMonomial
Latex:
iMonomial() == \mBbbZ{}\msupminus{}\msupzero{} \mtimes{} \{vs:\mBbbZ{} List| sorted(vs)\}
Date html generated:
2016_05_14-AM-07_00_05
Last ObjectModification:
2015_09_22-PM-05_51_39
Theory : omega
Home
Index