Knowing which lemmas were used by simp

Stream: new members

[VayusElytra]

Hello!
Every once in a while when I find myself using simp, the change in goal after using it is not quite what I expected. In those circumstances, it would be very useful to be able to see the list of lemmas which were applied by the tactic. Is there any way to view this?

[Kyle Miller]

simp?

[VayusElytra]

Thank you!