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;
}