hard edges -> rigid edges

adamant-pwn · adamant-pwn · commit 982df5b9e7e5 · 2023-12-13T14:10:34.000+01:00
diff --git a/src/graph/hungarian-algorithm.md b/src/graph/hungarian-algorithm.md
@@ -111,7 +111,7 @@ Note that conditions are not mutually exclusive.
 
 !!! info ""
 
-    **Lemma.** The old matching $M$ of hard edges is valid, i.e. all edges of the matching will remain rigid.
+    **Lemma.** The old matching $M$ of rigid edges is valid, i.e. all edges of the matching will remain rigid.
 
 ??? info "Proof"
 
