aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/mset.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/mset.spad.pamphlet')
-rw-r--r--src/algebra/mset.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/mset.spad.pamphlet b/src/algebra/mset.spad.pamphlet
index 351eefee..9d564ee9 100644
--- a/src/algebra/mset.spad.pamphlet
+++ b/src/algebra/mset.spad.pamphlet
@@ -23,8 +23,7 @@
++ Examples:
++ References:
++ Description: A multiset is a set with multiplicities.
-Multiset(S: SetCategory): MultisetAggregate S with
- finiteAggregate
+Multiset(S: SetCategory): Join(MultisetAggregate S,FiniteAggregate S) with
shallowlyMutable
multiset: () -> %
++ multiset()$D creates an empty multiset of domain D.