Def Lean.HashSet.insertMany

Modification history

2022-11-29 19:28
Mathlib/Tactic/Recover.lean
chore: bump to nightly-2022-11-29 (#785) …
Deleted Lean.HashSet.insertManyView on Github →
2022-10-01 22:27
Mathlib/Tactic/Recover.lean
chore: update lean + std4 09-30 (#448)
Added Lean.HashSet.insertManyView on Github →