PanLinx
čeština
ces-000
dokázat indukcí
English
eng-000
verify by induction
PanLex
