fix typo

zkFold · Apr 9, 2024 · 730390e · 730390e
1 parent fbff61d
commit 730390e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ZkFold/Base/Algebra/Basic/Class.hs b/src/ZkFold/Base/Algebra/Basic/Class.hs
@@ -229,7 +229,7 @@ class (AdditiveMonoid a, Scale Integer a) => AdditiveGroup a where
     -- | Inverse in an abelian group. The following should hold:
     --
     -- [Negative] @x + negate x == zero@
-    -- [Agreement] @invert x == zero - x@
+    -- [Agreement] @negate x == zero - x@
     negate :: a -> a
     negate x = zero - x