changeset 1152 | abc24245d276 |
parent 1142 | 2f479109a71d |
1.1 --- a/doc/groups.dox Fri May 15 10:16:48 2015 +0200 1.2 +++ b/doc/groups.dox Sun May 24 17:29:26 2015 +0200 1.3 @@ -585,7 +585,7 @@ 1.4 In addition, the graph nodes may be \e labeled, i.e. we are given two 1.5 node labelings \f$l_1:V_1\longrightarrow L\f$ and \f$l_2:V_2\longrightarrow 1.6 L\f$ and we require that \f$l_1(u)=l_2(f(u))\f$ holds for all nodes \f$u \in 1.7 -G\f$. 1.8 +G_1\f$. 1.9 1.10 */ 1.11