diff options
Diffstat (limited to 'examples')
-rw-r--r-- | examples/Example.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/Example.v b/examples/Example.v index 2141843..0dba915 100644 --- a/examples/Example.v +++ b/examples/Example.v @@ -191,7 +191,7 @@ Section mult3. Hypothesis mult3_Sn : forall n, mult3 (n+1) =? mult3 n + 3. Add_lemmas mult3_0 mult3_Sn. - Lemma mult3_21 : mult3 7 =? 21. + Lemma mult3_21 : mult3 4 =? 12. Proof. verit. Qed. Clear_lemmas. |