Do we know what “dedekind” means in German?

edit

What is the etymology of this word? It may be helpful to add if there are any German speakers here Zeyn1 (talk) 08:01, 2 August 2024 (UTC)Reply