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