Def Mathlib.Tactic.ElimApp.evalNames

Modification history

2023-06-02 06:13
Mathlib/Tactic/Cases.lean
fix: spacing and indentation in tactic formatters (#4519) …
Added Mathlib.Tactic.ElimApp.evalNamesView on Github →