∀ {α : Type u} [inst : BEq α] [inst_1 : Hashable α] {β : Type v} {k : α} {v : β} {tl : List (α × β)},
  ↑(Std.DHashMap.Internal.Raw₀.Const.insertMany Std.DHashMap.Internal.Raw₀.emptyWithCapacity ((k, v) :: tl)) =
    ↑(Std.DHashMap.Internal.Raw₀.Const.insertMany (Std.DHashMap.Internal.Raw₀.emptyWithCapacity.insert k v) tl)