1 # Theorem-like counters, separately for each type of theorem
7 PrettyFormat "Theorem \arabic{theorem}"
12 PrettyFormat "Corollary \arabic{theorem}"
17 PrettyFormat "Lemma \arabic{theorem}"
22 PrettyFormat "Proposition \arabic{theorem}"
26 PrettyFormat "Conjecture \arabic{theorem}"
30 PrettyFormat "Fact \arabic{theorem}"
35 PrettyFormat "Definition \arabic{theorem}"
39 PrettyFormat "Example \arabic{theorem}"
43 PrettyFormat "Problem \arabic{theorem}"
48 PrettyFormat "Exercise \arabic{theorem}"
53 PrettyFormat "Solution \arabic{theorem}"
58 PrettyFormat "Remark \arabic{theorem}"
62 PrettyFormat "Claim \arabic{theorem}"