It wouldn’t make much economic sense to ship stuff back down a gravity well if you could make it locally. On the other hand it might actually become cheaper to

It wouldn’t make much economic sense to ship stuff back down a gravity well if you could make it locally. On the other hand it might actually become cheaper to ship stuff to Earth orbit (even LEO) from Mars, simply because of the delta-v cost.