Révision 191 CSL17/DICE2017_TALK/ph-macros.tex

ph-macros.tex (revision 191)
6 6 
%\newtheorem{theorem}{Theorem}
7 7 
\newtheorem{proposition}[theorem]{Proposition}
8 8 
\newtheorem{conjecture}[theorem]{Conjecture}
9 
\newtheorem{claim}[theorem]{Claim}
9 10 
%\newtheorem{lemma}[theorem]{Lemma}
10 11 
%
11 12 
%

Formats disponibles : Unified diff