Update CHANGELOG.md

JacquesCarette · jamesmckinna · web-flow · commit 1ae1e27e4941 · 2025-04-21T13:30:19.000-04:00
Co-authored-by: jamesmckinna &lt;31931406+jamesmckinna@users.noreply.github.com&gt;
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -126,6 +126,8 @@ New modules
 Additions to existing modules
 -----------------------------
 
+* `Algebra.Properties.Monoid` adding consequences for identity for monoids
+
 * In `Algebra.Properties.Semigroup` adding consequences for associativity for semigroups
 
 * In `Algebra.Construct.Pointwise`:
