OrderedMultiplicativeSemigroup<T> Concept
Definition
Line
298
of
System.Base/Concept.cm
Refinement
Type Parameters
T
Constraints
T
is
TotallyOrdered