Sí, son compatibles, no tendrás ningún problema de cobertura.
El único pequeño inconveniente es con el 4G (pero no con este modelo, con los Xiaomi en general), en España el 4G opera en las bandas 3 (1800 MHz), 7 (2600 MHz) y 20 (800 MHz), y los Xiaomi no soportan la banda de 800 MHz, que en teoría es la mejor en cuanto a intensidad de señal y cobertura en interiores. Pero bueno, ya te digo que es un pequeño inconveniente porque es prácticamente inapreciable para el usuario.