Notation.

[saga.git] / mst.tex

diff --git a/mst.tex b/mst.tex
index 91f51d0ac1be5ae918dfb98588b06ecb57466428..baa178ea1e23987034acbb2acd5766320b6bde4c 100644 (file)
--- a/mst.tex
+++ b/mst.tex
@@ -59,7 +59,7 @@ First of all, let us show that the weights on edges are not necessary for the
 definition of the MST. We can formulate an equivalent characterization using
 an ordering of edges instead.
 
-\defnn{Heavy and light edges}
+\defnn{Heavy and light edges}\thmid{heavy}%
 Let~$T$ be a~spanning tree. Then:
 \itemize\ibull
 \:For vertices $x$ and $y$, let $T[x,y]$ denote the (unique) path in~$T$ joining $x$ and~$y$.