Fix copy/paste error

This commit is contained in:
Richard Kimberly Heck 2023-07-29 12:27:31 -04:00
parent afb38ee1ab
commit dc12c19337
5 changed files with 5 additions and 5 deletions

View File

@ -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}"

View File

@ -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}"

View File

@ -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}"

View File

@ -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}"

View File

@ -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}"