[temp.constr.concept] Turn "satisfied" into a definition.

Author: burblebee

source/templates.tex

@@ -1820,7 +1820,8 @@
 \grammarterm{concept-name} names a dependent concept named \tcode{C}.
 
 \pnum
-To determine if \tcode{CD} is satisfied,
+To determine if \tcode{CD} is
+\defnx{satisfied}{constraint!satisfaction!concept-dependent},
 the parameter mapping and template arguments are first
 substituted into \tcode{C}.
 If substitution results in an invalid concept-id in