MultiplicativeMonoid<T> Concept
Definition
Line
319
of
System.Base/Concept.cm
Refinement
Type Parameters
T
Constraints
ConversionFromSByte
<
T
>
or
ConversionFromByte
<
T
>
Axioms
axiom
oneIsIdentityElement(T a)
{
a * 1 == a && 1 * a == a;
}