В июле объем операций на рынке деривативов Мосбиржи достиг 17,5 трлн рублей