update packages

This commit is contained in:
2025-03-11 21:14:26 +01:00
parent 45d49daef0
commit 14dcaaddde
440 changed files with 13229 additions and 8718 deletions

View File

@@ -0,0 +1,8 @@
# -*- mode: snippet -*-
# name: lemma
# key: lem
# --
\begin{lem}[${2:title}]
\label{lem:${1:label}}
$0
\end{lem}