Diaelurodon

Diaelurodon is an extinct genus of non-mammalian synapsid.