Skip to content

Commit 79ad7bc

Browse files
committed
[simd.mask.namedconv] Use math expression for precondition
1 parent 27c478c commit 79ad7bc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/numerics.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20071,7 +20071,7 @@
2007120071
\pnum
2007220072
\expects
2007320073
\begin{itemize}
20074-
\item \tcode{size() <= $N$} is \tcode{true}, or
20074+
\item \tcode{size()} $\le N$, or
2007520075
\item for all $i$ in the range \range{$N$}{size()}, \tcode{operator[]($i$)} returns \tcode{false}.
2007620076
\end{itemize}
2007720077

0 commit comments

Comments
 (0)