Věta

v podstatě zme

Anotace

user lemma tag flag note
poukarova podstata NNFS6-----A----
komrskova podstata NNFS6-----A----
kopriva podstata NNFS6-----A---- True vycpávka
lukes podstata NNFS6-----A----