MultiplicativeMonoid<T> Concept

Definition

Line 319 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

ConversionFromSByte<Tor ConversionFromByte<T>

Axioms

axiom oneIsIdentityElement(T a)
{
    a * 1 == a && 1 * a == a;
}