use new lecture class for ana1

2020-06-02 12:10:05 +02:00
parent 208cd649dd
commit 83222b58fe
24 changed files with 46 additions and 47 deletions
@@ -111,7 +111,7 @@
    genauso für $\lim_{x \to 0} \frac{\cos(x) - 1}{x}$.
 \end{proof}

-\subsection{Die Zahl $\pi$}
+\section{Die Zahl $\pi$}
 Ziel: Analytische Definition von $\pi \in \R$.

 \begin{satz}[und Definition]