Nuprl Definition : oal_polyalg
oal_polyalg(s;a) == <oal_fabmon(s), omral_fma(oal_fabmon(s).mon;a)>
Definitions occuring in Statement :
oal_fabmon: oal_fabmon(s),
omral_fma: omral_fma(g;a),
free_abmon_mon: f.mon,
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
omral_fma: omral_fma(g;a),
free_abmon_mon: f.mon,
oal_fabmon: oal_fabmon(s)
Latex:
oal\_polyalg(s;a) == <oal\_fabmon(s), omral\_fma(oal\_fabmon(s).mon;a)>
Date html generated:
2016_05_16-AM-08_28_23
Last ObjectModification:
2015_09_23-AM-09_53_24
Theory : polynom_4
Home
Index