diff options
| -rw-r--r-- | notes-inf105.tex | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/notes-inf105.tex b/notes-inf105.tex index 4491278..b1d7737 100644 --- a/notes-inf105.tex +++ b/notes-inf105.tex @@ -29,7 +29,7 @@  \theoremstyle{definition}  \newtheorem{comcnt}{Tout}[subsection]  \newcommand\thingy{% -\refstepcounter{comcnt}\smallbreak\noindent\textbf{\thecomcnt.} } +\refstepcounter{comcnt}\smallskip\noindent\textbf{\thecomcnt.} }  \newtheorem{defn}[comcnt]{Définition}  \newtheorem{prop}[comcnt]{Proposition}  \newtheorem{lem}[comcnt]{Lemme} | 
