Def Lean.MVarId.applyConst

Modification history

2023-12-17 17:55
Mathlib/Lean/Meta.lean
chore: bump Std dependency to leanprover/std4#432 (#9094) …
Deleted Lean.MVarId.applyConstView on Github →
2023-05-28 11:05
Mathlib/Lean/Meta.lean
feat: port coherence tactic (#4357) …
Added Lean.MVarId.applyConstView on Github →