Deletion of List of things named after Richard Dedekind

Comment: It's quite a long list and could be expanded with brief summaries of what each is, which would make it more useful for navigation.  The topics appear notable and it seems to pass list policy; it's hardly  since it's a list of things closely associated with Dedekind that form a natural category; the only question is whether it would be better to merge to the main article
Stance: keep
Cited policy: Wikipedia:Listcruft (WP:LISTCRUFT)