Věta

mysím

Anotace

user lemma tag flag note
poukarova myslet VB-S---1P-AA---
komrskova myslet VB-S---1P-AA---
kopriva myslet VB-S---1P-AA---
lukes myslet VB-S---1P-AA--- True vyhodit lemma "myslit"