OrderedAdditiveGroup<T> Concept
Definition
Line
346
of
System.Base/Concept.cm
Refinement
Type Parameters
T
Constraints
T
is
AdditiveGroup