English edit

Noun edit

diplocynodontid (plural diplocynodontids)

  1. Any extinct crocodilian of the subfamily Diplocynodontinae