OrderedMultiplicativeSemigroup<T> Concept

Definition

Line 298 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

T is TotallyOrdered