8 lines
97 B
Plaintext
8 lines
97 B
Plaintext
|
# -*- mode: snippet -*-
|
||
|
|
# name: proof
|
||
|
|
# key: proof
|
||
|
|
# condition: t
|
||
|
|
# --
|
||
|
|
\begin{proof}
|
||
|
|
|
||
|
|
\end{proof}
|