[LyX/master] Fix copy/paste error

[Richard Kimberly Heck]

commit dc12c1933799871b7f34bcd9bf46dcbdcd3923a2
Author: Richard Kimberly Heck <rikiheck at lyx.org>
Date:   Sat Jul 29 12:27:31 2023 -0400

    Fix copy/paste error
---
 lib/layouts/IEEEtran.layout     |    2 +-
 lib/layouts/acmart.layout       |    2 +-
 lib/layouts/elsart.layout       |    2 +-
 lib/layouts/theorems-ams.module |    2 +-
 lib/layouts/theorems-std.module |    2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/lib/layouts/IEEEtran.layout b/lib/layouts/IEEEtran.layout
index 668dfa4..5bf7eba 100644
--- a/lib/layouts/IEEEtran.layout
+++ b/lib/layouts/IEEEtran.layout
@@ -50,7 +50,7 @@ Counter		theorem
 	RefFormat thm "Theorem \arabic{theorem}"
 	RefFormat cor "Corollary \arabic{theorem}"
 	RefFormat lem "Lemma \arabic{theorem}"
-	RefFormat prop "Lemma \arabic{theorem}"
+	RefFormat prop "Proposition \arabic{theorem}"
 	RefFormat conj "Conjecture \arabic{theorem}"
 	RefFormat def "Definition \arabic{theorem}"
 	RefFormat exa "Example \arabic{theorem}"
diff --git a/lib/layouts/acmart.layout b/lib/layouts/acmart.layout
index 91fb1d1..222a3f5 100644
--- a/lib/layouts/acmart.layout
+++ b/lib/layouts/acmart.layout
@@ -574,7 +574,7 @@ Counter theorem
 	RefFormat thm "Theorem \arabic{theorem}"
 	RefFormat cor "Corollary \arabic{theorem}"
 	RefFormat lem "Lemma \arabic{theorem}"
-	RefFormat prop "Lemma \arabic{theorem}"
+	RefFormat prop "Proposition \arabic{theorem}"
 	RefFormat conj "Conjecture \arabic{theorem}"
 	RefFormat def "Definition \arabic{theorem}"
 	RefFormat exa "Example \arabic{theorem}"
diff --git a/lib/layouts/elsart.layout b/lib/layouts/elsart.layout
index 6c62ebb..ae5d732 100644
--- a/lib/layouts/elsart.layout
+++ b/lib/layouts/elsart.layout
@@ -298,7 +298,7 @@ Counter theorem
 	RefFormat thm "Theorem \arabic{theorem}"
 	RefFormat cor "Corollary \arabic{theorem}"
 	RefFormat lem "Lemma \arabic{theorem}"
-	RefFormat prop "Lemma \arabic{theorem}"
+	RefFormat prop "Proposition \arabic{theorem}"
 	RefFormat conj "Conjecture \arabic{theorem}"
 	RefFormat def "Definition \arabic{theorem}"
 	RefFormat exa "Example \arabic{theorem}"
diff --git a/lib/layouts/theorems-ams.module b/lib/layouts/theorems-ams.module
index fd5348e..eae6255 100644
--- a/lib/layouts/theorems-ams.module
+++ b/lib/layouts/theorems-ams.module
@@ -24,7 +24,7 @@ Counter theorem
 	RefFormat thm "Theorem \arabic{theorem}"
 	RefFormat cor "Corollary \arabic{theorem}"
 	RefFormat lem "Lemma \arabic{theorem}"
-	RefFormat prop "Lemma \arabic{theorem}"
+	RefFormat prop "Proposition \arabic{theorem}"
 	RefFormat conj "Conjecture \arabic{theorem}"
 	RefFormat def "Definition \arabic{theorem}"
 	RefFormat exa "Example \arabic{theorem}"
diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index 6f6851c..13ffa27 100644
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -17,7 +17,7 @@ Counter theorem
 	RefFormat thm "Theorem \arabic{theorem}"
 	RefFormat cor "Corollary \arabic{theorem}"
 	RefFormat lem "Lemma \arabic{theorem}"
-	RefFormat prop "Lemma \arabic{theorem}"
+	RefFormat prop "Proposition \arabic{theorem}"
 	RefFormat conj "Conjecture \arabic{theorem}"
 	RefFormat fact "Fact \arabic{theorem}"
 	RefFormat def "Definition \arabic{theorem}"