summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/math-into-latex-4/babybeamer6.tex
blob: fe4c2d86132b4e0ef0c325d030d6556c8b1f333d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
% babybeamer6 presentation

\documentclass{beamer}

\begin{document}

\begin{frame}
\frametitle{Overlaying declarations and graphics}

\begin{theorem}<1->
Every finite distributive lattice can be embedded in a boolean lattice.
\end{theorem}
\begin{proof}<3->
Use join-irreducible elements.
\end{proof}
\onslide<2->{\includegraphics{cube}}
\end{frame}
\end{document}