Work by Richard Dedekind (source code)

= Work by Richard Dedekind