Věta

ale přesně ...

Anotace

user lemma tag flag note
jirkova přesně TT-------------
holoubkova přesně Dg-------1A----