Věta

já sem jí napsal prostě v blbým okamžiku ale ona je fakt

Anotace

user lemma tag flag note
poukarova on PPFS1--3-------
komrskova on PPFS1--3-------
kopriva on PPFS1--3------- True x lemma ona
lukes on PPFS1--3-------