Def Lean.MVarId.replace

Modification history

2023-10-19 08:30
Mathlib/Lean/Meta.lean
chore: bump dependencies (#7767)
Deleted Lean.MVarId.replaceView on Github →
2022-12-21 04:17
Mathlib/Lean/Meta.lean
feat: implement basic version of tauto tactic (#1081) …
Modified Lean.MVarId.replaceView on Github →
2022-11-28 22:26
Mathlib/Lean/Meta.lean
feat: port linarith (#526) …
Modified Lean.MVarId.replaceView on Github →
2022-10-22 16:26
Mathlib/Lean/Meta.lean
feat: `symm` and `trans` tactics (#253) …
Added Lean.MVarId.replaceView on Github →