Closed Seasawher closed 1 week ago
https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/unfold.20vs.20dsimp
https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/unfold.20vs.20dsimp