Source: /wikibot/dedekind-domain

= Dedekind domain
{wiki=Dedekind_domain}