Have you tried VLC player? It handles quite a big range of video codecs/formats. I've never tried to edit with it, don't even know if it can or not. Editing 4k on a tablet is asking a lot unless you're just trimming and splicing, my somewhat new laptop won't even play a 4k video without lots...