Nuprl Definition : oal_fabmon
oal_fabmon(s) == fabmon_of_nat_mcp(oal_omcp{s,<ℤ+>})
Definitions occuring in Statement :
oal_omcp: oal_omcp{s,g},
fabmon_of_nat_mcp: fabmon_of_nat_mcp(m),
int_add_grp: <ℤ+>
Definitions occuring in definition :
fabmon_of_nat_mcp: fabmon_of_nat_mcp(m),
oal_omcp: oal_omcp{s,g},
int_add_grp: <ℤ+>
Latex:
oal\_fabmon(s) == fabmon\_of\_nat\_mcp(oal\_omcp\{s,<\mBbbZ{}+>\})
Date html generated:
2016_05_16-AM-08_28_22
Last ObjectModification:
2015_09_23-AM-09_53_24
Theory : polynom_4
Home
Index