]> AND Private Git Repository - rairo15.git/blobdiff - stopping.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
MAJ des citations et des sections
[rairo15.git] / stopping.tex
index 19f1feb2981dd1752efedd535855148b237f3d8b..d095a3a44ed709fb9cb928c9db1c603aece2d276 100644 (file)
@@ -246,4 +246,4 @@ Theorem~\ref{prop:stop} is a direct application of
 lemma~\ref{prop:lambda} and~\ref{lm:stopprime}.
 \end{proof}
 
 lemma~\ref{prop:lambda} and~\ref{lm:stopprime}.
 \end{proof}
 
-\end{document}
+