Věta

ale já vlasně nevim jak jak moc to u* souviselo s tim

Anotace

user lemma tag flag note
poukarova vlastně TT------------7
komrskova vlastně TT------------7
kopriva vlastně TT------------7 True vycpávka
lukes vlastně TT------------7