## 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):

tactic#unfold1

Last updated: May 14 2021 at 07:19 UTC