the 5mp sensor on redmi note pro outputs a 10 bit bit depth rather than 12 bit on iPhone 13 pro. Bottom line is spec wise they are better than the macro sensor in redmi. Marketing spec often lead consumer to believe in advertised numbers, just see for yourself which image you like better and your budget then make your choice dun let the specs cloud the decision. There are a lot of other aspect that goes into good macro shots other than the camera.
EIS is available on the main camera at 1080p. Like we already noted, the toggle for the feature is a bit confusing. Regardless, the stabilization itself looks good and works great, even if it takes away quite a bit of the frame.