Zulip Chat Archive
Stream: new members
Topic: unfolding recursive functions
Frank Dai (May 19 2020 at 09:17):
Given a recursive function, is there a tactic to unfold it one step?
Currently I've been doing
dsimp [f],
rw<- f
but there seems like there should be a shorter way
Kenny Lau (May 19 2020 at 09:21):
Last updated: Dec 20 2023 at 11:08 UTC