From: Richard Kimberly Heck <rikiheck@lyx.org>
Date: Wed, 17 Jan 2024 22:21:49 +0000 (-0500)
Subject: Fix reference format for propositions.
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=28b5f1d5e0a23a70ea731005d6e27a19948e10e6;p=features.git

Fix reference format for propositions.

Reported by Andrew Parsloe.
---

diff --git a/lib/layouts/theorems-chap.module b/lib/layouts/theorems-chap.module
index 9df0c3461a..82605cddb1 100644
--- a/lib/layouts/theorems-chap.module
+++ b/lib/layouts/theorems-chap.module
@@ -19,7 +19,7 @@ Counter theorem
 	RefFormat thm "Theorem \thechapter.\arabic{theorem}"
 	RefFormat cor "Corollary \thechapter.\arabic{theorem}"
 	RefFormat lem "Lemma \thechapter.\arabic{theorem}"
-	RefFormat prop "Lemma \thechapter.\arabic{theorem}"
+	RefFormat prop "Proposition \thechapter.\arabic{theorem}"
 	RefFormat conj "Conjecture \thechapter.\arabic{theorem}"
 	RefFormat def "Definition \thechapter.\arabic{theorem}"
 	RefFormat exa "Example \thechapter.\arabic{theorem}"
diff --git a/lib/layouts/theorems-sec.module b/lib/layouts/theorems-sec.module
index ca38792818..eb808e8ee8 100644
--- a/lib/layouts/theorems-sec.module
+++ b/lib/layouts/theorems-sec.module
@@ -18,7 +18,7 @@ Counter theorem
 	RefFormat thm "Theorem \thesection.\arabic{theorem}"
 	RefFormat cor "Corollary \thesection.\arabic{theorem}"
 	RefFormat lem "Lemma \thesection.\arabic{theorem}"
-	RefFormat prop "Lemma \thesection.\arabic{theorem}"
+	RefFormat prop "Proposition \thesection.\arabic{theorem}"
 	RefFormat conj "Conjecture \thesection.\arabic{theorem}"
 	RefFormat def "Definition \thesection.\arabic{theorem}"
 	RefFormat exa "Example \thesection.\arabic{theorem}"