2010-07-11 22:14:45 +00:00
|
|
|
# Reference prefixes for theorem environments
|
|
|
|
|
|
2011-03-28 15:18:40 +00:00
|
|
|
Format 34
|
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
|
