PanLinx
slovenčina
slk-000
teorém
English
eng-000
theorem
PanLex
