Def Lean.Meta.split

Modification history

2021-10-14 09:04
Mathlib/Tactic/Split.lean
chore: remove split tactic (#70) …
Deleted Lean.Meta.splitView on Github →
2021-05-10 06:38
Mathlib/Tactic/Split.lean
feat(Tactic/Split): add split tactic
Added Lean.Meta.splitView on Github →