[thread] Add missing _v's to uses of type traits in Mandates elements.

Author: JohelEGP

source/threads.tex

@@ -1213,7 +1213,7 @@
 \mandates
 The following are all \tcode{true}:
 \begin{itemize}
-\item \tcode{is_constructible_v<decay_t<F>,F>},
+\item \tcode{is_constructible_v<decay_t<F>, F>},
 \item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\& ...)},
 \item \tcode{is_move_constructible_v<decay_t<F>>},
 \item \tcode{(is_move_constructible_v<decay_t<Args>> \&\& ...)}, and
@@ -1545,10 +1545,10 @@
 \mandates
 The following are all \tcode{true}:
 \begin{itemize}
-\item \tcode{is_constructible<decay_t<F>, F>},
-\item \tcode{(is_constructible<decay_t<Args>, Args> \&\& ...)},
-\item \tcode{is_move_constructible<decay_t<F>>},
-\item \tcode{(is_move_constructible<decay_t<Args>> \&\& ...)}, and
+\item \tcode{is_constructible_v<decay_t<F>, F>},
+\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\& ...)},
+\item \tcode{is_move_constructible_v<decay_t<F>>},
+\item \tcode{(is_move_constructible_v<decay_t<Args>> \&\& ...)}, and
 \item \tcode{is_invocable_v<decay_t<F>, decay_t<Args>...> ||} \\ \tcode{is_invocable_v<decay_t<F>, stop_token, decay_t<Args>...>}.
 \end{itemize}
 
@@ -7063,10 +7063,10 @@
 \mandates
 The following are all \tcode{true}:
 \begin{itemize}
-\item \tcode{is_constructible<decay_t<F>, F>},
-\item \tcode{(is_constructible<decay_t<Args>, Args> \&\&...)},
-\item \tcode{is_move_constructible<decay_t<F>>},
-\item \tcode{(is_move_constructible<decay_t<Args>> \&\&...)}, and
+\item \tcode{is_constructible_v<decay_t<F>, F>},
+\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\&...)},
+\item \tcode{is_move_constructible_v<decay_t<F>>},
+\item \tcode{(is_move_constructible_v<decay_t<Args>> \&\&...)}, and
 \item \tcode{is_invocable_v<decay_t<F>, decay_t<Args>...>}.
 \end{itemize}