Clade Mammalia Linnaeus 1758 [Rowe 1988], nom. cl. inval. see Class Mammalia Linnaeus, 1758 Clade Trechnotheria McKenna 1975 Clade †Zhangheotheria Averianov, Martin & Lopatin 2013 Genus †Tinodon Marsh, 1879 †"Tinodon" micron Ensom & Sigogneau-Russell, 2000