universal_semiring (214B)
1 # Universal semiring 2 3 [NN][X ], [semiring] of [polynomials] with [variables] X 4 5 - [universality_property] 6 - [commutation_under_homomorphisms] 7 8 Up: [semiring_list] 9 10 See also: [power_series], [provenance_polynomial]