Skip to content

feat: change_matching ... with tactic - #6018

Closed
kmill wants to merge 2 commits into
leanprover:masterfrom
kmill:changewith
Closed

feat: change_matching ... with tactic#6018
kmill wants to merge 2 commits into
leanprover:masterfrom
kmill:changewith

change with -> change_matching with

0f1bfec
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
create-adaptation-pr
succeeded Sep 1, 2026 in 30s