Def Mathlib.Tactic.Conv.evalDSimp

Modification history

2022-10-01 22:27
Mathlib/Tactic/DSimp.lean
chore: update lean + std4 09-30 (#448)
Deleted Mathlib.Tactic.Conv.evalDSimpView on Github →
2022-09-23 01:29
Mathlib/Tactic/DSimp.lean
feat: dsimp for conv-mode (#419) …
Added Mathlib.Tactic.Conv.evalDSimpView on Github →