No compi, esa que he puesto es la del Redmi 4 a secas. Arriba diferencian el Redmi 4 normal del Redmi 4 India. El Redmi 4 Prime es otro modelo, no es el de india. Ademas en el enlace de la descarga del Redmi 4 Global se ve que el archivo que vas a descargar es el modelo HM4.
En
este enlace explican las diferencias entre todos los Redmi 4 que hay y confirman que hay
rom Global para el Redmi 4 Prada.
Saludos
