PanLinx
srpski
srp-001
teorema
English
eng-000
proposition
English
eng-000
theorem
PanLex
