Věta

takže jako starý .

Anotace

user lemma tag flag note
poukarova starý AANS1----1A---6
komrskova starý AAMS1----1A----
kopriva starý AAMS1----1A---- True ? prototypická značka
lukes starý AAMS1----1A----