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.
Type	Theorem
Field	Geometric topology
Statement	Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere.
Conjectured by	Henri Poincaré
Conjectured in	1904
First proof by	Grigori Perelman
First proof in	2006
Implied by	Geometrization conjecture Thurston elliptization conjecture
Open problem	No
Generalizations	Generalized Poincaré conjecture

Usage

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 =
| statement =
| symbolic statement =
| conjectured by =
| conjecture date =
| first stated by =
| first stated in =
| first proof by =
| first proof date =
| open problem =
| known cases =
| implied by =
| equivalent to =
| generalizations =
| consequences =
}}

Parameters

All parameters are optional.

name

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

Image, e.g. xxx.svg.

caption

Caption.

type

The current type of statement, e.g. Theorem, Conjecture, Lemma, Postulate, Axiom.

field

The branch(es) of mathematics to which the statement belong(s), e.g. Number theory, Algebraic geometry and algebraic topology.

statement

The mathematical statement.

symbolic statement

A symbolic version of the mathematical statement when a prose version is already given.

conjectured by

Name of person(s) who first posed the statement.

conjectured date

Date(s) of when the statement was first posed.

first stated by

Name of person(s) who first posed the statement (alternative to using the word "conjectured").

first stated date

Date(s) of when the statement was first posed (alternative to using the word "conjectured").

first proof by

Name of person(s) who first proved the statement.

first proof date

Date(s) of when the statement was first proven.

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).

implied by

Statement(s) that imply the current one.

equivalent to

Statement(s) that both imply and are implied by the current one.

generalizations

Statement(s) that generalize the current one.

consequences

Statement(s) that are implied by the current one.

Template data

Infobox for a logical statement in mathematics that can either be true or false. Can be used to describe theorems, conjectures, lemmas, postulates, and axioms.

Template parameters

This template prefers block formatting of parameters.

Parameter		Description	Type	Status
Title style	titlestyle	Inline CSS to style the title parameter.	String	optional
Name	name	Name of the mathematical statement that appears at the top of the infobox. Auto value {{PAGENAMEBASE}}	Page name	suggested
Image	image	Image representing the mathematical statement.	File	suggested
Image size	image_size imagesize	How large the image should be.	String	suggested
Alternative text	alt	Alternative text describing an image, which is spoken out loud by screen reader devices	String	suggested
Caption	caption	Descriptive text that appears below the image.	Unknown	suggested
Type	type	Type of mathematical statement Suggested values [[Theorem]] [[Conjecture]] [[Lemma]] [[Postulate]] [[Axiom]]	Content	suggested
Field	field	One or more branch that the mathematical statement falls under Example Convex geometry, algebraic topology	Unknown	suggested
Statement	statement	The mathematical statement.	Content	suggested
Symbolic statement	symbolic statement	A symbolic version of the mathematical statement when a prose version is already given.	Content	suggested
Conjectured by	conjectured by	Name of person(s) who first posed the statement.	Content	suggested
Conjectured in	conjecture date	Date(s) of when the statement was first posed.	Content	suggested
First stated by	first stated by	Name of person(s) who first posed the statement (alternative to using the word "conjectured").	Content	suggested
First stated in	first stated date	Date(s) of when the statement was first posed (alternative to using the word "conjectured").	Content	suggested
First proof by	first proof by	Name of person(s) who first proved the statement.	Content	suggested
First proof in	first proof date	Date(s) of when the statement was first proven.	Content	suggested
Implied by	implied by	Statement(s) that imply the current one.	Content	suggested
Open problem	open problem	Is this an open problem? Typical values are Yes or No, though something more specific could be put here. Suggested values Yes No Only one example known Example Only one example known	String	suggested
Known cases	known cases	The cases for which the statement is known.	Unknown	suggested
Equivalent to	equivalent to	Statement(s) that both imply and are implied by the current one.	Content	suggested
Generalizations	generalizations	Statement(s) that generalize the current one.	Content	suggested
Consequences	consequences	Statement(s) that are implied by the current one.	Content	suggested

See also

• WP:Infobox
• {{Infobox mathematical function}}