Def Lean.KVMap.erase

Modification history

2023-11-17 05:53

Mathlib/Data/KVMap.lean

chore: bump to v4.3.0-rc2 (#8366) …

Deleted Lean.KVMap.erase View on Github →

2022-09-30 18:32

Mathlib/Data/KVMap.lean

feat: add an unset_option command (#422) …

Added Lean.KVMap.erase View on Github →