Def Lean.MVarId.clearValue

Modification history

2025-06-03 08:51
Mathlib/Tactic/Basic.lean
chore: bump toolchain to v4.21.0-rc1 (#25384)
Deleted Lean.MVarId.clearValueView on Github →
2023-03-16 19:28
Mathlib/Tactic/Basic.lean
feat: port `clear_value` tactic (#2916) …
Added Lean.MVarId.clearValueView on Github →