PanLinx
čeština
ces-000
platné tvrzení
čeština
ces-000
pravdivé
čeština
ces-000
teorém
PanLex
