Prezzi e disponibilità Redmi 7A, rese note le informazioni commerciali