Věta

no jistě ..

Anotace

user lemma tag flag note
jirkova jistě TT-------------
holoubkova jistě Dg-------1A----