The skills for mining crystals also work into the refining of that ore. For the increase in yield in space, then for the same skill increase the yield in the hanger. Further Foreman skills were revised with the added bonus to increasing the durability of Mining Crystals.
I would not mind to see mining crystals of ore, simplified into the behaviour of bands for Moon Ores. But mining does not need more skills to train or higher yields. It needs the opposite of both, and the removal of mining drones. Because a passive activity does not need even more automation.
Mining Laser II = 60
O.R.E Miner = 65
Modulated Deep Core Miner 2 + Veldspar Mining Crystal 2 = 120m² / 3 min x 1.75 = 70
Yield wise yes. But it would take someone more vested than me to figure if the yield gain verses the life-cycle and cost of the crystals lead to net profit.
Then there is the decision whether to refine for manufacture or compress for sale/trade. If you are not getting the second tier benefit from Veldstar Processing IV - then time and effort might be better training into skills that provide more intrinsic value. (travel, tank or fitting for example).
It’s very simple. you make the value you mine, per hour, with or without a crystal ; and you remove the price of the cystal for the value mined with crystal.