Věta

max

Anotace

user lemma tag flag note
poukarova maximum NNNXX-----A---8 True ?
komrskova maximálně Dg-------1A---8
kopriva maximálně Dg-------1A---8
lukes maximum NNNXX-----A---8 True co za lemma tomuhle?