PanLinx
English
eng-000
strengthening of a theorem
čeština
ces-000
zesílení věty
PanLex