MySQL and PHPmy Admin

We recently upgraded our web server to RedHat 7.2, which I understand comes with MySQL and PHPMyAdmin. (We had them set up previously on our 6.2 server.) Where can I find these files? Are they RPMs, or other file types? In general, where does RedHat put these files? I have a feeling this is easy, and they are all in the same folder.