Wikipedia
Pylaecephalidae
Pylaecephalidae is a family of dicynodont therapsids that includes Diictodon, Robertia, and Prosictodon from the Permian of South Africa. Pylaecephalids were small burrowing dicynodonts with long tusks. The family was first named in 1934 and was redefined in 2009. Diictodontidae and Robertiidae are considered junior synonyms of Pylaecephalidae.