semiring_distributivity_axiom (189B)
1 # Semiring distributivity axiom 2 3 The [axiom] that [product] [distributes] over [sum], which is part of the definition of [semirings] 4 5 Up: [distributivity], [semiring] 6 7 See also: [2_monoid]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |