Def Lean.Parser.Tactic.ElimApp.evalNames

Modification history

2023-06-02 06:13
Mathlib/Tactic/Cases.lean
fix: spacing and indentation in tactic formatters (#4519) …
Deleted Lean.Parser.Tactic.ElimApp.evalNamesView on Github →
2022-10-01 22:27
Mathlib/Tactic/Cases.lean
chore: update lean + std4 09-30 (#448)
Modified Lean.Parser.Tactic.ElimApp.evalNamesView on Github →
2022-02-07 12:43
Mathlib/Tactic/Cases.lean
feat: cases' and induction' tactics (#183) …
Added Lean.Parser.Tactic.ElimApp.evalNamesView on Github →