Def Lean.SMap.foldM

Modification history

2024-01-05 01:23
Mathlib/Lean/SMap.lean
chore: bump std4 dependency (#9426) …
Deleted Lean.SMap.foldMView on Github →
2023-04-12 19:26
Mathlib/Lean/SMap.lean
feat: command to list declarations with long names (#3122) …
Added Lean.SMap.foldMView on Github →