CommutativeSemiring<T> Concept

Definition

Line 358 of System.Base/Concept.cm

Refinement

Type Parameters

T

Axioms

axiom multiplicationIsCommutative(T a, T b)
{
    a * b == b * a;
}