show¶
A tactic which can be used to change a goal to a definitionally equivalent goal. Note also change, which works both with goals and hypotheses.
A tactic which can be used to change a goal to a definitionally equivalent goal. Note also change, which works both with goals and hypotheses.