[PS] More fixes

This commit is contained in:
2026-06-15 18:13:04 +02:00
parent 2828d5e0f0
commit 79aaaa687e
22 changed files with 44 additions and 39 deletions
@@ -14,6 +14,8 @@
\renewcommand{\propositionShortNamingDE}{Prop}
\renewcommand{\remarkShortNamingDE}{Bem}
\renewcommand{\theoremShortNamingDE}{Thm}
\renewcommand{\corollaryShortNamingDE}{Kor}
\renewcommand{\lemmaShortNamingDE}{Lem}
\renewcommand{\descriptorNameDisplay}[1]{\textbf{#1}}