Def Lean.MVarId.withReverted

Modification history

2023-11-20 09:57

Mathlib/Tactic/Basic.lean

chore: bump Std (#8526)

Deleted Lean.MVarId.withReverted View on Github →

2023-03-29 23:55

Mathlib/Tactic/Basic.lean

fix: alias FVarIds for `change` and `clear_value` (#2937) …

Added Lean.MVarId.withReverted View on Github →