test

jmougeot · jmougeot · commit 97114852e0e0 · 2025-04-14T15:56:22.000-04:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -123,7 +123,7 @@ New modules
 
 * `Data.Sign.Show` to show a sign
 
-* `Algebra.Properties.Semigroup` adding consequences for associativity for semigroups
+* `Algebra.Properties.Semigroup` adding consequences for associatvity for semigroups
 -----------------------------
 
 * In `Algebra.Construct.Pointwise`:
