Parece que no incluye la banda B20 (800mhz) así que de momento parece que no sale en versión Global.
https://www.mi.com/in/redmi-note-7-pro/specs

A no ser que cambien luego los datos, esto dice ahora sobre las bandas de cobertura:

Network Bands
GSM B2/3/5/8
WCDMA B1/2/5/8
FDD-LTE B1/3/5/7/8
TDD-LTE B40/41(120MHz)