Template:Infobox mathematical statement/doc

Poincaré conjecture
For compact 2-dimensional surfaces without boundary, if every loop can be continuously tightened to a point, then the surface is topologically homeomorphic to a 2-sphere (usually just called a sphere). The Poincaré conjecture, proved by Grigori Perelman, asserts that the same is true for 3-dimensional spaces.
FieldGeometric topology
Conjectured byHenri Poincaré
Conjectured in1904
Open problemNo
First proof byGrigori Perelman
First proof in2006
Implied by
GeneralizationsGeneralized Poincaré conjecture


The Template:Infobox mathematical statement generates a right-hand side infobox, based on the specified parameters. To use this template, copy the following code in your article and fill in as appropriate:

{{Infobox mathematical statement
| name =
| image =
| caption =
| type =
| field =
| conjectured by =
| conjecture date =
| open problem =
| known cases =
| first proof by =
| first proof date =
| implied by =
| equivalent to =
| generalizations =
| consequences =


All parameters are optional.

Name at the top of the infobox; should be the name of the statement, e.g. Strong multiplicity one theorem, Zorn's lemma. Defaults to page name.
Image, e.g. xxx.svg.
The current type of statement, e.g. Theorem, Conjecture, Lemma, Postulate, Axiom.
The branch(es) of mathematics to which the statement belong(s), e.g. Number theory, Algebraic geometry and algebraic topology.
conjectured by
Name of person(s) who first posed the statement.
conjectured date
Date(s) of when the statement was first posed.
open problem
Is this an open problem? Typical values are Yes or No, though something more specific could be put here (e.g. Only one example known, etc.)
known cases
The cases for which the statement is known (e.g. For all function fields or For all r > 3).
first proof by
Name of person(s) who first proved the statement.
first proof date
Date(s) of when the statement was first proven.
implied by
Statement(s) that imply the current one.
equivalent to
Statement(s) that both imply and are implied by the current one.
Statement(s) that generalize the current one.
Statement(s) that are implied by the current one.

See alsoEdit