Pavel Erofeev edited header.tex  over 9 years ago

Commit id: 01ce25925c8943841f27357ab9cfa499a9732139

deletions | additions      

       

\usepackage{amsthm}