Redmi is a sub-brand of Xiaomi and runs on MIUI, so I believe they are equivalent.
Xperia 10 IV.
However, both are Japanese carrier models and I believe the ROM is different from the global version.
You may be tempted to say that the conditions are different, but everyone can only verify on...