Perdonad la tardanza.
Las roms las saco de un foro ruso, esque no se si puedo poner esos enlaces aquí lo siento.
Tambien si os dais una vuelta por xda hay unas cuantas. Si googleais un poco poniendo lineage15 markw por ejemplo (markw es el nombre clave del redmi 4 pro) os saldrá.
Evidentemente son roms cocinadas, las hay personalizadas y puras android, no son basadas en miui.
Yo particularmente usé antes una lineage14 y ahora la 15,( tambien existen android pie lineage16) no oficiales, sacadas del foro ruso y me va de lujo el teléfono.
Funciona todo, rara es la app que falla, veo netflix, hbo, a3player, mitele, juego a pokemon (el pokemon requiere root magisk, si no, no funciona)
Todo descargado desde play store sin problemas.
En fin, desde el año pasado como dije, yo abandoné en miui9 (me daba problemas la batería) desde febrero 2018 funciono con roms extraoficiales y aver, probé algunas que no iban bien, pero las lineageos puras van de fábula y los desarrolladores las actualizan habitualmente.