Def Mathlib.Tactic.elabVariables

Modification history

2022-11-04 20:57
Mathlib/Tactic/Basic.lean
feat: update mathlib mod-tac-stx 2022-11-01 (#536) …
Added Mathlib.Tactic.elabVariablesView on Github →