Xiaomi Redmi 10X y Redmi X10 Pro: los nuevos gama media de Xiaomi