From f265f04abf572ac38c5d4a6784bea5b0a6e3fcea Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sat, 24 Feb 2024 23:48:05 +0100
Subject: [PATCH] Macros: Clean up theorem type definitions

---
 macros.tex | 2 --
 1 file changed, 2 deletions(-)

diff --git a/macros.tex b/macros.tex
index 249b2d2..d33de71 100644
--- a/macros.tex
+++ b/macros.tex
@@ -79,8 +79,6 @@
 \newtheorem{veta}{Věta}
 \newtheorem{lemma}[veta]{Lemma}
 \newtheorem{tvrz}[veta]{Tvrzení}
-
-\theoremstyle{plain}
 \newtheorem{definice}{Definice}
 
 \theoremstyle{remark}
-- 
2.39.5