aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/aggcat.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet
index 36de84b1..ab816fbf 100644
--- a/src/algebra/aggcat.spad.pamphlet
+++ b/src/algebra/aggcat.spad.pamphlet
@@ -261,7 +261,7 @@ Collection(S:Type): Category == HomogeneousAggregate(S) with
find: (S->Boolean, %) -> Union(S, "failed")
++ find(p,u) returns the first x in u such that \axiom{p(x)} is true, and
++ "failed" otherwise.
- if % has finiteAggregate then
+ if % has FiniteAggregate S then
remove: (S->Boolean,%) -> %
++ remove(p,u) returns a copy of u removing all elements x such that
++ \axiom{p(x)} is true.