Maybe I misunderstood your question, but 4 models are referenced, Redmi 9 Pro Global, Redmi 9 Pro Max, Redmi 9 Pro for India and Redmi 9 Pro 5G. I guess you would know if you had a Max, Indian or 5G edition, so my guess is that you have a "joyeuse" model, or Redmi 9 Pro Global.Hi,
I have Redmi Note 9 Pro with MIUI Global 12.5.1.0 stable (RJZRUXM) version. Can I change this ROM to the latest EU version? If yes, what's that version from the table in the first post?
Many thanks in advnace for your advice!
And yes you can install, just follow the instructions.