Prolly not the best idea to do a lot of moon mining. Mars ok but should leave the mass of the moon as constant as possible.
I would advocate mining the Moon for the materials to build up heavy industry on the Moon. Being able to manufacture and launch spacecraft from the Moon would be a game-changer.