From 0cf8e80ecfb68099f4d8828ef6892ea5d1173c67 Mon Sep 17 00:00:00 2001 From: Thomas Baruchel Date: Sat, 26 Nov 2022 07:44:35 +0100 Subject: [PATCH] Update --- thue-morse.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thue-morse.v b/thue-morse.v index cf9dc76..73439b7 100644 --- a/thue-morse.v +++ b/thue-morse.v @@ -1096,7 +1096,7 @@ Proof. apply tm_step_stable. assert (2^n - 1 < 2^n). apply Nat.sub_lt. replace (1) with (2^0) at 1. apply Nat.pow_le_mono_r. - easy. apply le_0_n. simpl. reflexivity. apply Nat.lt_0_1. + easy. apply le_0_n. simpl. reflexivity. apply Nat.lt_0_1. apply H0. rewrite Nat.succ_lt_mono. simpl. (*