[concept.equalitycomparable] Remove note that the equality-preserving

nature of == implies that == is reflexive. This turns out to not quite
be justified by the normative rules.

Author: zygoloid

source/concepts.tex

@@ -876,7 +876,7 @@
 \pnum
 \begin{note}
 The requirement that the expression \tcode{a == b} is equality-preserving
-implies that \tcode{==} is reflexive, transitive, and symmetric.
+implies that \tcode{==} is transitive and symmetric.
 \end{note}
 \end{itemdescr}