Věta

ne .. to byly aspoň tři rundy . sme si spočítali že tři byly nejmíň

Anotace

user lemma tag flag note
poukarova aspoň Db-------------
komrskova aspoň Db-------------
kopriva aspoň Db-------------
lukes aspoň Db------------- True proč je "jen" TT a "aspoň" (aspoň v SYNu2010) Db?