Def Std.HashMap.mapVal

Modification history

2026-02-20 13:54
Mathlib/Std/Data/HashMap.lean
chore: delete deprecated modules up to 20 August 2025 (#35562) …
Deleted Std.HashMap.mapValView on Github →
2024-09-23 11:30
Mathlib/Std/Data/HashMap.lean
refactor: switch final use of Batteries.HashMap to Std.HashMap (#17042)
Added Std.HashMap.mapValView on Github →