We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4f9942c commit 51c5b01Copy full SHA for 51c5b01
source/templates.tex
@@ -1857,7 +1857,7 @@
1857
an atomic constraint $Q_{jb}$ in $Q_j$ such that $P_{ia}$ subsumes $Q_{jb}$, and
1858
1859
\item an atomic constraint $A$ subsumes another atomic constraint
1860
-$B$ if and only if the $A$ and $B$ are identical using the
+$B$ if and only if $A$ and $B$ are identical using the
1861
rules described in \ref{temp.constr.atomic}.
1862
\end{itemize}
1863
%
0 commit comments