Note that even if the "if" was removed and the new sentence was grammatically correct, it would be semantically incorrect because overloading < in itself does not satisfy LessThanComparable; a strict weak ordering is required, as the old wording states.
Commit https://github.com/TCCPP/wheatley/commit/7f29c9f6c305eac0ece2b0a2684ff8ba2031155b which applied suggested changes in https://github.com/TCCPP/wheatley/issues/63 accidentally broke the grammar in one sentence.
Note that even if the "if" was removed and the new sentence was grammatically correct, it would be semantically incorrect because overloading
<
in itself does not satisfy LessThanComparable; a strict weak ordering is required, as the old wording states.