PanLinx
čeština
ces-000
dedekindův okruh
English
eng-000
Dedekind domain
PanLex