(0) -> 0

Thanks to Peng Du
https://stacks.math.columbia.edu/tag/0317#comment-7922

algebra.tex

@@ -22395,7 +22395,7 @@ \section{Completion}
 M \longrightarrow M^\wedge = \lim_n M/I^nM
 $$
 is an isomorphism\footnote{This includes the condition that
-$\bigcap I^nM = (0)$.}. We say $R$ is {\it $I$-adically complete}
+$\bigcap I^nM = 0$.}. We say $R$ is {\it $I$-adically complete}
 if $R$ is $I$-adically complete as an $R$-module.
 \end{definition}