Iran has exported some 13.7 million tons of mining products worth $3.275 billion in the first three months of the current Iranian fiscal year (March 21 – June 21), according to a Sunday report by Iranian Mines and Mining Industries Development and Renovation (IMIDRO).