diff --git a/source/templates.tex b/source/templates.tex index 082875367b..44235f9d48 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -1940,9 +1940,9 @@ \indextext{constraint!normalization|)} \rSec2[temp.constr.order]{Partial ordering by constraints} -\indextext{subsume|see{constraint, subsumption}} \pnum +\indextext{subsume|see{constraint, subsumption}} A constraint $P$ \defnx{subsumes}{constraint!subsumption} a constraint $Q$ if and only if, for every disjunctive clause $P_i$