Stream: new members
Ariel Fridman (Feb 18 2021 at 16:23):
Sometimes I use
simp in the middle of a proof, which I know is a bad thing but it can be very useful in certain situations.
Is there an easy way to replace it with the rewrites it ran, except of setting
true and copying the steps manually?
Ruben Van de Velde (Feb 18 2021 at 16:23):
Ariel Fridman (Feb 18 2021 at 16:24):
Ruben Van de Velde said:
ooh, that's useful. Thank you! ^^
Last updated: May 16 2021 at 05:21 UTC