universal_semiring (185B)
1 # Universal semiring 2 3 N[X], [semiring] of [polynomial]s with [variable]s X 4 5 - [universality_property] 6 - [commutation_under_homomorphism]s 7 8 Up: [semiring_list] 9 10 See also: [power_series]
wiki_researchpersonal research wiki | |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |