changeset 1368 | 9b4503108cc0 |
parent 1351 | 2f479109a71d |
1.1 --- a/doc/groups.dox Tue Sep 22 18:20:15 2015 +0200 1.2 +++ b/doc/groups.dox Wed Oct 07 18:49:46 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