fix

RemyDegenne · Mar 12, 2024 · 7bd1e4e · 7bd1e4e
1 parent c0d797e
commit 7bd1e4e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/blueprint/src/sections/hellinger.tex b/blueprint/src/sections/hellinger.tex
@@ -49,7 +49,7 @@ \chapter{Hellinger distance}
 \end{proof}
 
 \begin{corollary}
-  \label{lem:tv_le_hellinger}
+  \label{cor:one_sub_hellinger_squared_le_one_sub_tv}
   %\lean{}
   %\leanok
   \uses{def:Hellinger, def:TV}