PanLinx
français
fra-000
théoreme
čeština
ces-000
poučka
English
eng-000
theorem
PanLex