MultiplicativeGroup<T> Concept

Definition

Line 333 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

T operator/(T, T)

Axioms

axiom multiplicativeInverseIsInverseOp(T a)
 {
     a * (1/a) == 1 && (1/a) * a == 1;
 }
axiom division(T a, T b)
 {
     a / b == a * (1/b);
 }