. . . "Drilling or mining operations for oil, gas, or other minerals and the production of oil, gas, or other minerals under a lease issued under..." . . .