hashset intersect?

Stream: new members

[Quinn]

just want to double check-- it looks like I need to roll my own intersection https://leanprover-community.github.io/mathlib4_docs/Lean/Data/HashSet.html while merge serves for union. Is there something more conventional than just rolling my own? this is a mathlib-free project

[Henrik Böving]

The current nightly versions of Lean have a new and improved Std.HashSet that we plan to mostly use in the future. Though I believe that HashSet does not have intersection either. I don't know if we are planning to add it anytime soon? CC @Markus Himmel

[Quinn]

I still don't get Std--- I've never gotten an import to work. I use import Lean.Data.HashSet and then the name of the type is Lean.HashSet in the file

[Henrik Böving]

As I said, the things I am talking about are currently only available in a nightly release, there is not yet a stable Lean version that contains Std.