EDIT: As of the Winter 2016 update, it seems it no longer works the same way.
From the patchnotes:
Cities can no longer receive yields from more than one regional building per type; they take the highest (ex. production from multiple Factories)
Cities can no longer receive amenities from more than one regional building per type; they take the highest (ex. amenities from multiple Stadiums)
Answer BEFORE Winter 2016 update:
First off, you can actually directly see the various bonuses by hovering over your city's production. (same for food, faith, science, etc.)
I found out that
A) The bonus does stack, a factory gives +3 production, a city with a factory of its own within range of another factory has +6 instead of +3, thus receiving the bonus.
EDIT : This bonus CAN stack multiple times:
As you can see here, my Capital is within range of 3 different fully upgraded Industrial districts, so it receives +9 from factory (+3 from each) and +12 from power plants (+4 from each).
B) Only the factory bonus was added to cities within 6 tiles, NOT the whole zone bonus. So say a city with no industrial district is in range of an industrial zone with a factory and a workshop, the other city will only receive the +3 bonus from the factory. Again, as you can see in the screenshot, my capital does not have an industrial district of its own, so it only receives bonuses from Factories and Power plants, not from the workshops.
This makes sense as the entertainment complex, for example, has multiple buildings that extend their bonuses. So each building is worth building, as each will only give off its own bonus.
If you consider only the points you specified, the answer is simple. Just build the mine :).
There are only 2 reasons you should be considering while doing this (hills with forest - bear in mind that lumbermill can also be constructed on tiles without hills but with forest):
Religion that gives bonuses on forest tiles (I'm speaking from memory but afaik there was one bonus like that)
Buildings that require adjected forest (I think there was a wonder that require that... same as above, I speak from memory but I think there was one)
District adjacency bonuses like +1 faith for every two adjacent forest (woods) tiles
And... that's kind of it. This is only considering your exact scenario.
For endgame scenarios, with expanded cities you should read this post: http://forums.civfanatics.com/threads/mines-or-lumbermill.391185/ - apparently in endgame lumbers become better than the mines (it is a civ 5 post but I think it still applies here as well, although a bit less since districts and placed wonders limit the possible space).
Best Answer
Shelby115's comment is correct, it does not stack: