Decidable equivalence for HashSet

instance Std.HashSet.instDecidableEquivOfLawfulBEq {α : Type u} [BEq α] [LawfulBEq α] [Hashable α] (m₁ m₂ : HashSet α) : Decidable (m₁.Equiv m₂)

Equations

• m₁.instDecidableEquivOfLawfulBEq m₂ = decidable_of_iff (m₁.inner.Equiv m₂.inner) ⋯