Rescued from truncation:
Coronosaurus is of course a member of Coronosauria (Sereno 1986). Is
> this = the first time in dinosaur nomenclature that the genus was > named after the = similarly-named higher taxon?I think so. Outside it, of course, there's *Archosaurus*, apparently named for being the oldest known archosaur sensu lato.