# Sets the order of the main theorem environments # Author: Richard Kimberly Heck Format 98 #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