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