Pan-Mammalia is thus an alternative name for Synapsida.
Pan-Mammalia é así un nome alternativo a Synapsida.