The library grows...

[helm.git] / helm / matita / library / nat / lt_arith.ma

diff --git a/helm/matita/library/nat/lt_arith.ma b/helm/matita/library/nat/lt_arith.ma
index 5bef2237103f27308663712a78f78b67d0c3b621..9494a28d7983b9735d8f04e58d00db58512da77a 100644 (file)
--- a/helm/matita/library/nat/lt_arith.ma
+++ b/helm/matita/library/nat/lt_arith.ma
@@ -160,3 +160,4 @@ apply inj_times_r n.assumption.
 apply lt_to_not_eq.assumption.
 intro.reflexivity.
 qed.
+