Fix doc

AlexandreDecan · Jul 22, 2022 · 2080323 · 2080323
1 parent cbf99d1
commit 2080323
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -406,7 +406,7 @@ True
 ```
 
 As a general rule, if `a < b` holds, then `a <= b`, `b > a`, `b >= a`
-`not (a > b)`, `not (b > a)`, `not (a >= b)` and `not (b >= a)` hold.
+`not (a > b)`, `not (b < a)`, `not (a >= b)` and `not (b <= a)` hold.