From cb5dd3b813a9d75031ac88f62e512efd3e803f7a Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sat, 2 Mar 2024 11:45:04 +0100
Subject: [PATCH] Removed custom environment for proofs

Our environment had the QED symbol positioned on an extra line,
which does not look well. After some deliberaiton, I found nothing
wrong with amsthm's proof environment.
---
 macros.tex | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/macros.tex b/macros.tex
index 6d82c71..a4c7bb6 100644
--- a/macros.tex
+++ b/macros.tex
@@ -86,15 +86,8 @@
 \newtheorem*{pozn}{Poznámka}
 \newtheorem*{prikl}{Příklad}
 
-%%% Prostředí pro důkazy
-
-\newenvironment{dukaz}{
-  \par\medskip\noindent
-  \textit{Důkaz}.
-}{
-\newline
-\rightline{$\qedsymbol$}
-}
+% Alias pro prostředí proof s českým názvem
+\newenvironment{dukaz}{\begin{proof}}{\end{proof}}
 
 %%% Styl popisek obrázků
 
-- 
2.39.2