Def Mathlib.Tactic.dsimpLocation'

Modification history

2022-11-22 21:55
Mathlib/Tactic/SimpTrace.lean
chore: remove upstreamed tactics 11-21 (#684)
Deleted Mathlib.Tactic.dsimpLocation'View on Github →
2022-10-10 21:33
Mathlib/Tactic/SimpTrace.lean
feat: `simp?` and `squeeze_scope` tactics (#449) …
Added Mathlib.Tactic.dsimpLocation'View on Github →