Si os vino con LineageOS la lógica común dice que es un redmi 6 Pro.
Pero yo de lo que me fiaría más que nada, es de que el imei que os tira marcando el código y en opciones, es el mismo que el de la caja... Y cuando lo metéis en la web de xiaomi os dice que es un Mi A2 lite. Y me fiaría de eso, de que os coinciden los tres imeis y lo que dice Xiaomi.
Aunque no entiendo para que os meten LineageOS.... Eso sí que es raro raro...