2010-07-11 22:14:45 +00:00
|
|
|
# Reference prefixes for theorem environments
|
|
|
|
|
|
2013-02-21 20:57:59 +00:00
|
|
|
Format 45
|
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
|
