doc: fix reference to IsDigraphLatticeEmbedding

digraphs · Sep 8, 2022 · ceff83c · ceff83c
1 parent 9d0abd2
commit ceff83c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/prop.xml b/doc/prop.xml
@@ -1312,7 +1312,8 @@ true
     in which the <E>lattice digraphs</E> representing <M>M3</M> and <M>N5</M> are
     not embeddable as lattices
     (see <URL>https://en.wikipedia.org/wiki/Distributive_lattice</URL> and
-    <Ref Prop="IsLatticeEmbedding"/>).<P/>
+    <Ref Prop="IsLatticeEmbedding" 
+    Label="for digraphs and a permutation or transformation"/>).<P/>
 
     &MUTABLE_RECOMPUTED_PROP;