Proexaeretodon

{{Short description|Extinct genus of cynodonts}}

{{Automatic taxobox

| fossil_range = Ladinian-Norian
~{{Fossil range|235|205.6}}

| image =

| image_caption =

| taxon = Proexaeretodon

| authority = Bonaparte, 1963

| subdivision_ranks = Species

| subdivision = * {{extinct}}P. vincei {{small|Bonaparte 1963) (type)}}

}}

Proexaeretodon is a genus of traversodontid from the Late Triassic (Carnian) Ischigualasto Formation of Argentina.{{Cite journal |last1=Bonaparte |first1=J. F. |date=1963 |title=Un nuevo cinodonte gonfodonte del Triásico Medio Superior de San Juan, Proexaeretodon vincei n. gen., n. sp. |journal=Acta Geológica Lilloana |volume=4 |pages=129–133 }} Although long considered a junior synonym of Exaeretodon, Schmitt et al. revalidated this genus in 2023 based on comparisons with Santagnathus.{{Cite journal |last1=Schmitt |first1=Maurício Rodrigo |last2=Martinelli |first2=Agustín Guillermo |last3=Kaiuca |first3=João Felipe Leal |last4=Schultz |first4=Cesar Leandro |last5=Soares |first5=Marina Bento |date=2023 |title=Old fossil findings in the Upper Triassic rocks of southern Brazil improve diversity of traversodontid cynodonts (Therapsida, Cynodontia) |journal=The Anatomical Record |volume=307 |issue=4 |pages=1474–1514 |doi=10.1002/ar.25244 |pmid=37246488 |s2cid=258960737 |name-list-style=amp }}