Def elabVariables

Modification history

2022-11-04 20:57

Mathlib/Tactic/Basic.lean

feat: update mathlib mod-tac-stx 2022-11-01 (#536) …

Deleted elabVariables View on Github →

2022-10-20 15:23

Mathlib/Tactic/Basic.lean

chore: update lean + std4 10-20 (#483)

Modified elabVariables View on Github →

2021-05-10 07:26

Mathlib/Tactic/Basic.lean

feat(Tactic/Basic): add variables command …

Added elabVariables View on Github →