unfold tactic

Stream: general

[Dania Abuhijleh]

Is there a way I can unfold a definition once only (instead of all the way)?

[Eric Rodriguez]

rw?

[Dania Abuhijleh]

i"m trying to rw something but I can't until I unfold a definition only once, but when i use simp or unfold it does it twice and then I cant sub my hypothesis anymore

[Anatole Dedecker]

What Eric is saying is that you can use rw def in place of unfold def

[Dania Abuhijleh]

wow I wasn't aware of that thanks!