Si estás en la 7.2.5.0 de ese tutorial y has descargado el twrp de ese tutorial, tienes que poner el móvil en modo fastboot, vol- y encendido, conectarlo al pc, en la carpeta que descargaste buscar el archivo mi 4s twrp.cmd
Enviado desde mi MI 4S mediante Tapatalk