Yes.

Redmi is a brand of Xiaomi mobile phones. The predecessor of Redmi is Redmi, a new product line launched by Xiaomi.

Red means red in English, and mi is the trademark of Xiaomi, so it is called Redmi. This mobile phone is very cost-effective, and its sales are also very popular, and it is liked by many people.