2010-07-11 22:14:45 +00:00
|
|
|
# Reference prefixes for theorem environments
|
|
|
|
|
|
2011-01-12 23:20:07 +00:00
|
|
|
Format 31
|
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
|
