Rewrite construct
flupe opened this issue · comments
Not being able to use the rewrite construct is proving to be extremely annoying.
I find that using the cong! tactic together with equational reasoning is a useful substitute for the rewrite construct.