There has never been mining in that district.
The Lake District is rich in mineral deposits that have been put to good use since ancient times, and throughout much of the region's history, mining was a major industry.