sara lee (Oct 19 2021 at 06:19): sara lee (Oct 19 2021 at 06:19):n:nat
H : S n > 0
Goal: 1 = S n
Théo Winterhalter (Oct 19 2021 at 06:40):S n > 0 is always true, but 1 = S n is only true when n = 0.
You probably should read more on the representation of natural numbers if this is not clear to you.
But basically, S n represents 1 + n.
Last updated: Sep 23 2023 at 07:01 UTC