@@ -123,7 +123,7 @@ class (VerifiedAbelianGroup a, Ring a) => VerifiedRing a where
123123||| + Inverse for `<+>`:
124124||| forall a, a <+> inverse a == neutral
125125||| forall a, inverse a <+> a == neutral
126−||| + Associativity of `<*>a:
126+||| + Associativity of `<*>`:
127127||| forall a b c, a <*> (b <*> c) == (a <*> b) <*> c
128128||| + Neutral for `<*>`:
129129||| forall a, a <*> unity == a