PanLinx
čeština
ces-000
domněnky
English
eng-000
assumptions
English
eng-000
conjectures
PanLex
