LWG4157 The resolution of LWG3465 was damaged by P2167R3

Author: burblebee

source/support.tex

@@ -5302,7 +5302,8 @@
   Otherwise, if the expressions
   \tcode{E == F}, \tcode{E < F}, and \tcode{F < E}
   are all well-formed and
-  each of \tcode{decltype(E == F)} and \tcode{decltype(E < F)} models
+  each of \tcode{decltype(E == F)}, \tcode{decltype(E < F)}, and
+  \tcode{decltype(F < E)} models
   \exposconcept{boolean-testable},
 \begin{codeblock}
 E == F ? partial_ordering::equivalent :