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 b21651e commit 0b1802cCopy full SHA for 0b1802c
source/templates.tex
@@ -1828,7 +1828,8 @@
1828
the immediate context of the constraint\iref{temp.deduct.general},
1829
the constraint is not satisfied.
1830
Otherwise, let \tcode{CI$'$} be
1831
-the normal form of the concept-id after substitution of \tcode{C}.
+the normal form\iref{temp.constr.normal} of the concept-id
1832
+after substitution of \tcode{C}.
1833
\begin{note}
1834
Normalization of \tcode{CI} might be ill-formed; no diagnostics is required.
1835
\end{note}
0 commit comments