# HG changeset patch
# User nipkow
# Date 1749023560 -7200
# Node ID 8575092e21fa49411c425cf788989eed16a4fa28
# Parent  a6cfe84d0dddd627ea7c7cecfd366a67c49ca81c
latex error

diff -r a6cfe84d0ddd -r 8575092e21fa src/HOL/Library/Disjoint_Sets.thy
--- a/src/HOL/Library/Disjoint_Sets.thy	Tue Jun 03 15:18:54 2025 +0200
+++ b/src/HOL/Library/Disjoint_Sets.thy	Wed Jun 04 09:52:40 2025 +0200
@@ -472,7 +472,7 @@
   If $h$ is an involution on $X$ with no fixed points in $X$ and
   $f(h(x)) = -f(x)$ then $\sum_{x\in X} f(x) = 0$.
   
-  This is easy to show in a ring with characteristic not equal to $2", since then we can do
+  This is easy to show in a ring with characteristic not equal to $2$, since then we can do
   \[\sum_{x\in X} f(x) = \sum_{x\in X} f(h(x)) = -\sum_{x\in X} f(x)\]
   and therefore $2 \sum_{x\in X} f(x) = 0$.