Def Lean.Elab.Tactic.evalSplit

Modification history

2021-05-10 15:48
Mathlib/Tactic/Split.lean
feat(Tactic/Block): block structuring tactic
Deleted Lean.Elab.Tactic.evalSplitView on Github →
2021-05-10 06:38
Mathlib/Tactic/Split.lean
feat(Tactic/Split): add split tactic
Added Lean.Elab.Tactic.evalSplitView on Github →