Věta

tady jednou byla

Anotace

user lemma tag flag note
doischer jednou Cv-------------
janouskova jednou Db-------------