Can you tell me about of Redmi note 7 pro when that will be launch