diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-12 02:43:00 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-12 02:43:00 +0900 |
commit | a1b1d10ad5fc505f8b83ac6976e5eb68b87427ff (patch) | |
tree | fc178e36cbd7bbb45f9043062a74e4e6cab1ed94 /algebraic-structures.egg | |
parent | 7e9013fc2ae5d82dfc0b152089c94d6c78e245b3 (diff) |
Add group modules
Diffstat (limited to 'algebraic-structures.egg')
-rw-r--r-- | algebraic-structures.egg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/algebraic-structures.egg b/algebraic-structures.egg index 9b21678..bf62bd3 100644 --- a/algebraic-structures.egg +++ b/algebraic-structures.egg @@ -16,6 +16,9 @@ (extension algebraic-structures.monoid.number.product.base) (extension algebraic-structures.monoid.number.product) (extension algebraic-structures.monoid.make.fold) + (extension algebraic-structures.group.make) + (extension algebraic-structures.group.number.sum) + (extension algebraic-structures.group.number.product) (extension algebraic-structures.foldable.make) (extension algebraic-structures.foldable.list.base) (extension algebraic-structures.foldable.list) |