[][src]Trait Alias maths_traits::algebra::ring_like::CommutativeSemiring

trait CommutativeSemiring = UnitalSemiring + MulCommutative;

A unital semiring where multiplication is commutative