User:Leigh.Samphier/Templates/TFAE

Template

For presenting a standard header for equivalence proofs.

Automatically adds the page it is included on either into Category:Equivalence Proofs or Category:Definition Equivalences as appropriate.

Include this template as follows:

For:

The following are equivalent:

enter:

{{TFAE}}

For:

The following definitions of the concept of (link to thing being defined) are equivalent:

enter:

{{TFAE|def = (definition page)}}

or:

{{TFAE|def = (definition page)|view = (view of link)}}

Use parameter def to insert a definition link to [[Definition:{{{def}}}:{{#if: {{{view|}}} |{{{view}}}|{{{def}}}}}]].

For:

The following definitions of the concept of (link to thing being defined) in the context of (branch of mathematics) are equivalent:

enter:

{{TFAE|def = (definition page)|view = (view of link)|context = (definition page)}}

or:

{{TFAE|def = (definition page)|view = (view of link)|context = (definition page)|contextview = (view of link)}}

For:

The following definitions for the (link to axioms being defined) are equivalent:

enter:

{{TFAE|axiom = (axiom page)}}

or:

{{TFAE|axiom = (axiom page)|view = (view of link)}}

Use parameter def to insert a definition link to [[Axiom:{{{axiom}}}:{{#if: {{{view|}}} |{{{view}}}|{{{def}}}}}]].

For:

The following definitions for the (link to axioms being defined) in the context of (branch of mathematics) are equivalent:

enter:

{{TFAE|axiom = (axiom page)|view = (view of link)|context = (definition page)}}

or:

{{TFAE|axiom = (axiom page)|view = (view of link)|context = (definition page)|contextview = (view of link)}}

Use of this template with the def parameter automatically puts the page it is on into [[Category:Definition Equivalences]].

To avoid this, use {{TFAENocat}}