From 41be37f232232dd63b8eaaf581652601f7fc11da Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 26 Mar 2024 16:12:08 +0000
Subject: [PATCH] FIX add missing proposition thm style

---
 theoremstyles.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theoremstyles.tex b/theoremstyles.tex
index ead59e4..cd3fd95 100644
--- a/theoremstyles.tex
+++ b/theoremstyles.tex
@@ -3,6 +3,7 @@
 \newtheorem{theorem}{Theorem}[section]
 \newtheorem{corollary}{Corollary}[section]
 \newtheorem{lemma}{Lemma}[section]
+\newtheorem{proposition}{Proposition}[section]
 \newtheorem{example}{Example}[section]
 
 \theoremstyle{definition}
-- 
GitLab