2010-07-11 22:14:45 +00:00
|
|
|
# Reference prefixes for theorem environments
|
|
|
|
|
|
2011-02-02 22:29:32 +00:00
|
|
|
Format 33
|
2010-07-11 22:14:45 +00:00
|
|
|
|
|
|
|
|
IfStyle Theorem
|
|
|
|
|
RefPrefix thm
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
IfStyle Corollary
|
|
|
|
|
RefPrefix cor
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
IfStyle Lemma
|
|
|
|
|
RefPrefix lem
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
IfStyle Proposition
|
|
|
|
|
RefPrefix prop
|
|
|
|
|
End
|
