Admin: 1 revision: Complexity zoo import.

2012-11-18T03:10:38Z

1 revision: Complexity zoo import.

New page

<noinclude>
[[Category:Formatting Templates]]

== Template Documentation ==
Formats a theorem and its proof in a framed box.

=== Parameters ===
{|
! Order/Name
! Description
|-
| 1 (optional)
| Name of the theorem (e. g.: Jesus' Theorem).
|-
| theorem (optional)
| Word to substitute for "Theorem," such as "Lemma" or "Corollary."
|-
| statement
| Actual statement of the theorem.
|-
| proof
| Statement of the theorem's proof.
|}

=== Example ===
<nowiki>{{Theorem|Jesus' Theorem|statement=If foo, then bar.|proof=Foo is more awesome than bar. Hence, since more awesome includes less awesome, we are done.}}</nowiki>

'''Renders as:'''
<div style="border: 1px solid gray; padding: 4px;">
{{Theorem|Jesus' Theorem|statement=If foo, then bar.|proof=Foo is more awesome than bar. Hence, since more awesome includes less awesome, we are done.}}
</div>

== Raw Template ==
</noinclude>{{Genericbox
|background=#ffefef |margin=1em |bordercolor=gray
|'''{{{theorem|Theorem}}}{{ #if: {{{1|}}} | ({{{1}}})}}.''' ''{{{statement}}}''
----
''Proof'': {{{proof}}} ▪
}}

Template:Theorem - Revision history

Admin: 1 revision: Complexity zoo import.