Proexaeretodon
Proexaeretodon is a genus of traversodontid from the Late Triassic Ischigualasto Formation of Argentina. Although long considered a junior synonym of Exaeretodon, Schmitt et al. revalidated this genus in 2023 based on comparisons with Santagnathus.