feat: `change_matching ... with` tactic - #6018

Closed

kmill wants to merge 2 commits into

leanprover:masterfrom

kmill:changewith

Commits on Nov 17, 2024

feat: `change ... with` tactic
kmill
committed
5a57398
change with -> change_matching with
kmill
committed
0f1bfec