Def Lean.Meta.RewriteResult.by?

Modification history

2024-05-02 13:42
Mathlib/Tactic/Rewrites.lean
chore: move to v4.8.0-rc1 (#12548) …
Deleted Lean.Meta.RewriteResult.by?View on Github →
2023-10-19 22:44
Mathlib/Tactic/Rewrites.lean
feat: rw? can discharge side conditions using local hypotheses (#7770)
Added Lean.Meta.RewriteResult.by?View on Github →