PanLinx
suomi
fin-000
Dedekindin leikkaus
English
eng-000
Dedekind cut
Fornsvenska
swe-001
Dedekinds snitt
PanLex
