Remember, however, while this is true, remember that almost all food energy comes from the sun, therefore underground food growing operations would have to be HUGE in proportion to the mining operations, unless the culture is very old and has been slowly mining for many years.

(I think my point that mining-focused cultures would mostly rely on trade is sensible)