Def Lean.Elab.Tactic.run_for

Modification history

2022-11-28 22:26
Mathlib/Lean/Meta.lean
feat: port linarith (#526) …
Added Lean.Elab.Tactic.run_forView on Github →