add link to github issue

ImperialCollegeLondon · Jan 31, 2025 · 72b1029 · 72b1029
1 parent 1345a70
commit 72b1029
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/blueprint/src/chapter/AdeleMiniproject.tex b/blueprint/src/chapter/AdeleMiniproject.tex
@@ -67,6 +67,7 @@ \section{Local compactness}
 \begin{theorem}
   \lean{NumberField.AdeleRing.locallyCompactSpace}
   \label{NumberField.AdeleRing.locallyCompactSpace}
+  \discussion{253}
   \leanok
   The adeles of a number field are locally compact.
 \end{theorem}