Pavel Erofeev edited header.tex  over 9 years ago

Commit id: 7a7ce11c35bf47fcee8c5425657b001267911d6a

deletions | additions      

       

\usepackage{amsthm} \newtheorem{theorem}{Theorem}[section]  \newtheorem{corollary}{Corollary}[theorem]  \newtheorem{lemma}[theorem]{Lemma}