...

diff --git a/weblib/arithmetics/factorial.ma b/weblib/arithmetics/factorial.ma
index e911a6fdb854e557e9eb267f8d0a31c56e36ab28..16a2f52c0363ab07de2ada5d7cd241062c63eab3 100644 (file)
--- a/weblib/arithmetics/factorial.ma
+++ b/weblib/arithmetics/factorial.ma
@@ -193,4 +193,5 @@ intros.elim H
       ]
     ]
   ]
-qed. *)
\ No newline at end of file
+qed. *)
+