just need a little help with the natural numbers game

Stream: new members

[John Doe]

image.png

what would the correct format for applying hd to h be here? i tried looking at the documentation but it was pretty opaque to me

[Aaron Liu]

what do you want to conclude?

[John Doe]

at the end i want to make h into exactly the goal

[John Doe]

right now i'm trying to sort of subtract a from both sides so that succ d turns into d

[Aaron Liu]

so what you want isn't really to use hd right

[Aaron Liu]

you want to "subtract a from both sides" first

[John Doe]

this is true, but i need to apply hd eventually

would that just be apply hd at h once i get it in the right form?

[John Doe]

i don't need to supply any... parameters?

[Aaron Liu]

John Doe said:

would that just be apply hd at h once i get it in the right form?

probably?

[John Doe]

ok let me try that ty

[John Doe]

ok yeah it worked i am just very very slow