Supongo que el cambio de batería del Redmi 4X no debe ser muy diferente al del Redmi 3 Pro, que es el que tengo yo. Es una operación muy fácil. Simplemente tienes que abrir el terminal, con cuidado de retirar el flex del lector de huellas si va conectado de la tapa trasera a la placa, desconectar el flex de la batería, retirar ésta y cambiarla por la batería nueva, volviendo de nuevo a conectar el flex de la batería y el del lector de huellas. Así es, grosso modo. De todoas modos, como te comenta
@menguelez, puedes buscar en
Youtube vídeos de como cambiar la batería a modelos
Xiaomi similares al tuyo para que te sirva de ayuda.
No sé si tienes ya comprada la nueva batería, pero si no que sepas que Xiaomi no vende baterías. Todas las baterías que se anuncian como originales de Xiaomi en realidad no lo son. Son baterías compatibles, pero no originales, y pueden salirte más o menos buenas o ser un auténtico mojón. Otra cosa. Desconfía de las baterías que anuncian más capacidad que la que trae la batería de serie. Generalmente ésas baterías suelen tener hasta menos capacidad que la original. Simplemente lo de publicitar mayor capacidad que la original es un reclamo para vender más.
Unas baterías que tienen bastante reputación son las Nohon. Andan sobre los 10 € en Aliexpress (cuidado también, porque de Nohon también hay baterías falsificadas; yo iría directamente a la tienda oficial de Nohon en Aliexpress). Yo no las he probado (aún estoy con la batería que venía de fábrica con mi móvil), pero como te he comentado antes, tienen buena fama.