For custom ROMs like LineageOS, the more specific device names are used. So e.g. the Xiaomi Redmi Note 5 is called whyred or Samsung Galaxy S7 Edge goes hero2lte. Having some experience in Android and custom ROMs, I don't know how to find out device names based on the colloquially used device names (Redmi Note 5 -> whyred).
Neither in specs on e.g. shop sites, nor in the device info. Let's look at the device info of a Xiaomi Redmi Note 5 Pro:
I only see
M1803E7SG as the model name here but does not match the device name used for custom ROMs. Especially on Xiaomi, it's a big mess to get rich in different models or editions. Sometimes a single model is not equal across different regions.
M1803E7SG, I found this article which says:
For reference, our review unit is the M1803E7SG. This is also known a the Redmi Note 5 AI Dual Camera. It is neither the Redmi 5 Plus, which is listed as the Redmi Note 5 on Xiaomi's Mi website, nor is it the Redmi Note 5 Pro either. All three devices are powered by a Qualcomm Snapdragon 636 SoC, but they feature different camera hardware and memory options among other differences.
So, is this a flashable device for TWRP/LineageOS? I'm really confused now and would like to see the device name for this smartphone.