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