unfolding recursive functions

Stream: new members

[Frank Dai]

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]

tactic#unfold1