Muchas gracias por responder, exactamente, la galería del redmi no da esa opción, pero he probado Google fotos y con ella si puedo editar el trozo que quiero a Cámara rápida y cual a velocidad normal. El problema está en que los videos grabados con la Cámara nativa y a Cámara lenta, Google fotos no me los reproduce, y por lo tanto no puedo editarlos, sin embargo los hechos con la Gcam si funcionan perfectamente.