chore: add discussion link to adicCompletionComap_isModuleTopology

Author: kbuzzard

blueprint/src/chapter/AdeleMiniproject.tex

@@ -153,6 +153,7 @@ \subsection{Base change for finite adeles}
   \label{IsDedekindDomain.HeightOneSpectrum.adicCompletionComap_isModuleTopology}
   \uses{IsDedekindDomain.HeightOneSpectrum.adicCompletionComapSemialgHom}
   \leanok
+  \discussion{326}
   Giving $L_w$ the $K_v$-module structure coming from the natural map $K_v\to L_w$,
   the $w$-adic topology on $L_w$ is the $K_v$-module topology.
 \end{theorem}