Def Lean.KVMap.updateBool

Modification history

2023-11-17 05:53
Mathlib/Data/KVMap.lean
chore: bump to v4.3.0-rc2 (#8366) …
Deleted Lean.KVMap.updateBoolView on Github →
2022-11-30 01:07
Mathlib/Data/KVMap.lean
refactor: improve the way simps traces messages (#789) …
Added Lean.KVMap.updateBoolView on Github →