What is "diademodontidae"

Diademodontidae is an extinct family of Triassic cynodonts. The best-known genus is Diademodon from South Africa. Titanogomphodon from Namibia may also be a member of Diademodontidae. The Chinese genera Hazhenia and Ordosiodon have also been included in the family, but were more recently identified as baurioid therocephalians. Remains of a diademodontid have been discovered in the Early Triassic Fremouw Formation in Antarctica.