PanLinx
русский
rus-000
дедекиндовость
English
eng-000
Dedekind property
PanLex
