Skip to content

Commit 64017fe

Browse files
committed
[simd.mask.namedconv] Use math expression for precondition
1 parent eafeff8 commit 64017fe

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
@@ -20066,7 +20066,7 @@
2006620066
\pnum
2006720067
\expects
2006820068
\begin{itemize}
20069-
\item \tcode{size() <= $N$} is \tcode{true}, or
20069+
\item \tcode{size()} $\le N$, or
2007020070
\item for all $i$ in the range \range{$N$}{size()}, \tcode{operator[]($i$)} returns \tcode{false}.
2007120071
\end{itemize}
2007220072

0 commit comments

Comments
 (0)