HashMap

📁 Source: Batteries/Lean/HashMap.lean

Statistics

Metric	Count
Definitions HashMap, mergeWith, mergeWithM	3
Theorems	0
Total	3

Batteries

Definitions

Name	Category	Theorems
HashMap 📖	CompData	—

Std.HashMap

Definitions

Name	Category	Theorems
mergeWith 📖	CompOp	—
mergeWithM 📖	CompOp	—

---

← Back to Index