LWG3465 compare_partial_order_fallback requires F < E

Author: burblebee

source/support.tex

@@ -5011,8 +5011,9 @@
 \item
   Otherwise, \tcode{partial_order(E, F)} if it is a well-formed expression.
 \item
-  Otherwise, if the expressions \tcode{E == F} and \tcode{E < F}
-  are both well-formed and convertible to \tcode{bool},
+  Otherwise, if the expressions
+  \tcode{E == F}, \tcode{E < F}, and \tcode{F < E}
+  are all well-formed and convertible to \tcode{bool},
 \begin{codeblock}
 E == F ? partial_ordering::equivalent :
 E < F  ? partial_ordering::less :