commit by user ricciott

[helm.git] / weblib / arithmetics / min_max.ma

diff --git a/weblib/arithmetics/min_max.ma b/weblib/arithmetics/min_max.ma
index 3b93593b65701490e0fd34d6ac33f995b9b0d3e4..38f7b4f1a563cc60f49f4ffebeaa0fe51bc25a22 100644 (file)
--- a/weblib/arithmetics/min_max.ma
+++ b/weblib/arithmetics/min_max.ma
@@ -57,4 +57,4 @@ qed.
   ]
 qed.
 
- 
+ 
\ No newline at end of file