Clarify logic instead of using 'vice versa'

Fixes #28166

diff --git a/src/libcore/cmp.rs b/src/libcore/cmp.rs
index 3344d7ea5d7fc2fcf0ab467607abb45106a097d0..fa1f4727bc0782f046b3429026411be93fa92fdb 100644 (file)
--- a/src/libcore/cmp.rs
+++ b/src/libcore/cmp.rs
@@ -218,7 +218,7 @@ fn partial_cmp(&self, other: &Ordering) -> Option<Ordering> {
 ///
 /// The comparison must satisfy, for all `a`, `b` and `c`:
 ///
-/// - antisymmetry: if `a < b` then `!(a > b)` and vice versa; and
+/// - antisymmetry: if `a < b` then `!(a > b)`, as well as `a > b` implying `!(a < b)`; and
 /// - transitivity: `a < b` and `b < c` implies `a < c`. The same must hold for both `==` and `>`.
 ///
 /// Note that these requirements mean that the trait itself must be implemented symmetrically and