Def Lean.MVarId.changeLocalDecl'

Modification history

2024-04-12 13:24
Mathlib/Tactic/DefEqTransformations.lean
fix: make sure tactics in DefEqTransformations do not reorder hypotheses (#12077) …
Added Lean.MVarId.changeLocalDecl'View on Github →
2023-11-20 09:57
Mathlib/Tactic/Basic.lean
chore: bump Std (#8526)
Deleted Lean.MVarId.changeLocalDecl'View on Github →
2023-03-29 23:55
Mathlib/Tactic/Basic.lean
fix: alias FVarIds for `change` and `clear_value` (#2937) …
Added Lean.MVarId.changeLocalDecl'View on Github →