@@ -54,7 +54,7 @@ class Group a => AbelianGroup a where { }
54||| forall a, inverse a <+> a == neutral
54||| forall a, inverse a <+> a == neutral
55||| + Associativity of `<.>`:
55||| + Associativity of `<.>`:
56||| forall a b c, a <.> (b <.> c) == (a <.> b) <.> c
56||| forall a b c, a <.> (b <.> c) == (a <.> b) <.> c
57−||| + Distributivity of `<.>` and `<->`:
57+||| + Distributivity of `<.>` and `<+>`:
58||| forall a b c, a <.> (b <+> c) == (a <.> b) <+> (a <.> c)
58||| forall a b c, a <.> (b <+> c) == (a <.> b) <+> (a <.> c)
59||| forall a b c, (a <+> b) <.> c == (a <.> c) <+> (b <.> c)
59||| forall a b c, (a <+> b) <.> c == (a <.> c) <+> (b <.> c)
60class AbelianGroup a => Ring a where
60class AbelianGroup a => Ring a where
@@ -80,7 +80,7 @@ class AbelianGroup a => Ring a where
80||| + Neutral for `<.>`:
80||| + Neutral for `<.>`:
81||| forall a, a <.> unity == a
81||| forall a, a <.> unity == a
82||| forall a, unity <.> a == a
82||| forall a, unity <.> a == a
83−||| + Distributivity of `<.>` and `<->`:
83+||| + Distributivity of `<.>` and `<+>`:
84||| forall a b c, a <.> (b <+> c) == (a <.> b) <+> (a <.> c)
84||| forall a b c, a <.> (b <+> c) == (a <.> b) <+> (a <.> c)
85||| forall a b c, (a <+> b) <.> c == (a <.> c) <+> (b <.> c)
85||| forall a b c, (a <+> b) <.> c == (a <.> c) <+> (b <.> c)
86class Ring a => RingWithUnity a where
86class Ring a => RingWithUnity a where
@@ -109,7 +109,7 @@ class Ring a => RingWithUnity a where
109||| + InverseM of `<.>`, except for neutral
109||| + InverseM of `<.>`, except for neutral
110||| forall a /= neutral, a <.> inverseM a == unity
110||| forall a /= neutral, a <.> inverseM a == unity
111||| forall a /= neutral, inverseM a <.> a == unity
111||| forall a /= neutral, inverseM a <.> a == unity
112−||| + Distributivity of `<.>` and `<->`:
112+||| + Distributivity of `<.>` and `<+>`:
113||| forall a b c, a <.> (b <+> c) == (a <.> b) <+> (a <.> c)
113||| forall a b c, a <.> (b <+> c) == (a <.> b) <+> (a <.> c)
114||| forall a b c, (a <+> b) <.> c == (a <.> c) <+> (b <.> c)
114||| forall a b c, (a <+> b) <.> c == (a <.> c) <+> (b <.> c)
115class RingWithUnity a => Field a where
115class RingWithUnity a => Field a where