Stream: new members
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: May 14 2021 at 07:19 UTC