Commit 2023-03-16 15:44 14e576f9
View on Github →feat: change tactic (#2836)
This is an implementation of the change tactic, whose syntax is declared in Lean 4 core.
feat: change tactic (#2836)
This is an implementation of the change tactic, whose syntax is declared in Lean 4 core.