Věta
nonono
.
Anotace
user
lemma
tag
flag
note
jirkova
no
TT-------------
doischer
nonono
II-------------