2022-12-31 10:28:56 +00:00
|
|
|
# Sets the order of the main theorem environments
|
|
|
|
# Author: Richard Kimberly Heck
|
|
|
|
|
2023-05-09 10:10:45 +00:00
|
|
|
Format 100
|
2022-12-31 10:28:56 +00:00
|
|
|
|
|
|
|
#Get the order right
|
|
|
|
Style Theorem
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Theorem*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Corollary
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Corollary*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Lemma
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Lemma*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Proposition
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Proposition*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Conjecture
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Conjecture*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Definition
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Definition*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Example
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Example*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Problem
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Problem*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Exercise
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Exercise*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Solution
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Solution*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Remark
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Remark*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Claim
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Claim*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Case
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Proof
|
|
|
|
End
|