Update Tutorial_Chaining_Tactics.v

Author: thomas-lamiaux

src/Tutorial_Chaining_Tactics.v

@@ -38,9 +38,7 @@
 
 *)
 
-  Require Import Lia.
-
-  Section Chaining.
+Section Chaining.
   Context (A B C D E F : Type).
 
   Set Printing Parentheses.
@@ -539,4 +537,4 @@ Goal A -> B -> C -> D -> E -> F.
   Fail do 8 intros ?.
 Abort.
 
-End Chaining.
+End Chaining.