2010-07-11 22:14:45 +00:00
|
|
|
# Reference prefixes for theorem environments
|
|
|
|
|
|
2010-10-13 16:54:57 +00:00
|
|
|
Format 30
|
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
|
