Definition of "Dedekind"

Dedekind