Help me decide Xiaomi 17t or Redmi Note 15Pro +?

I'm stuck between these two. There is price difference, but let's leave that aside. What would you recommend and why?