diff options
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
-rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 3ed7ceca..42a4f3fd 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -1956,7 +1956,6 @@ FiniteLinearAggregate(S:Type): Category == LinearAggregate S with if % has shallowlyMutable then reverse x == reverse_! copy x sort(f, l) == sort_!(f, copy l) - reverse x == reverse_! copy x if S has OrderedSet then sort_! l == sort_!(_<$S, l) |