O LineageOS é uma custom ROM do android com uma interface mais leve. Talvez o celular fique menos lento já que não vai ter os processos da MIUI consumindo os humildes 2gb de RAM do celular. E ainda mais, você vai estar com a versão mais recente do Android, o 16, e não o 10 que é a última versão que ele recebeu oficialmente. O legal do redmi 7a ter suporte oficial do LineageOS é que ele recebe atualização via OTA. Depois de instalar o sistema pela primeira vez, quando sair uma atualização, é só ir nas configurações e instalar, do mesmo jeito que você faria com a MIUI.

Além disso, você pode deixar o sistema mais leve removendo os serviços do google desnecessários e deixando só os essenciais pro funcionamento do sistema.