Idk what is it called, just Music player I guess (standard app for playing music), gonna check later (I’m on my pc now), tried VLC in the past and had some problems, maybe it wasnt updated or something, anyway, I guess all players are good, maybe some are better, I personally like this one, I never had audio/sound issues of any kind (at least not anything that had to do with the player/app).
Also, if you ever need it (I personally use is almost daily, maybe it’s not needed that often, but still, in the past I had some trouble with my phone speaker and fields didn’t seem to work, for a while), check this out: