Def Std.HashSet.insertMany

Modification history

2022-10-01 22:27
Mathlib/Tactic/Recover.lean
chore: update lean + std4 09-30 (#448)
Deleted Std.HashSet.insertManyView on Github →
2022-08-24 14:06
Mathlib/Tactic/Recover.lean
feat: recover as a tactic combinator (#336) …
Added Std.HashSet.insertManyView on Github →