∀ {α : Type u} {β : Type v} {γ : Type w} [inst : BEq α] [inst_1 : Hashable α] {m₁ m₂ : Std.HashMap.Raw α β},
  m₁.WF →
    m₂.WF →
      ∀ (f : α → β → Option γ), m₁.Equiv m₂ → (Std.HashMap.Raw.filterMap f m₁).Equiv (Std.HashMap.Raw.filterMap f m₂)