Def Lean.KVMap.eraseCore

Modification history

2023-11-17 05:53
Mathlib/Data/KVMap.lean
chore: bump to v4.3.0-rc2 (#8366) …
Deleted Lean.KVMap.eraseCoreView on Github →
2022-09-30 18:32
Mathlib/Data/KVMap.lean
feat: add an unset_option command (#422) …
Added Lean.KVMap.eraseCoreView on Github →