Is there a place where industrial production is broken down by source? I ask because I see that the mining bases (not mining starbases, but the bases built by the mining ships) feed industrial points to planets, but I can't find a place where I can see how that adds up with the planetary industrial production.

When I view the planet screen, industrial production is calculated, so one should subtract whatever factories are producing on that planet and what is left over is coming from the asteroid mines?