Věta

teď je problém jo . v týdle době . prtože .

Anotace

user lemma tag flag note
poukarova tenhle PDFS6---------7
komrskova tenhle PDFS6---------7
kopriva tenhle PDFS6---------7 True x lemma tahle
lukes tenhle PDFS6---------7 True zbytečně dvě lemmata tenhle a tenhleten