User:Leigh.Samphier/Templates/TFAENoCat

From ProofWiki
Jump to navigation Jump to search

Template

For presenting a standard header for equivalence proofs.


Usage

Include this template as follows:

For:

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

enter:

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

or:

{{TFAENocat|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:

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

or:

{{TFAENocat|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:

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

or:

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

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


For:

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

enter:

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

or:

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


This version does not include the page in the [[Category:Definition Equivalences]].

For this to be done, use {{TFAE}} instead.


Also see