Def Lean.Parser.Tactic.dsimpArg

Modification history

2022-11-22 18:54
Mathlib/Tactic/Core.lean
chore: bump to nightly-2022-11-21 (#679)
Deleted Lean.Parser.Tactic.dsimpArgView on Github →
2022-09-15 04:19
Mathlib/Tactic/Core.lean
chore: simp `with` clauses are no longer needed (#409) …
Added Lean.Parser.Tactic.dsimpArgView on Github →