Help:Equivalence Proofs


 * For the general help page on proofs, see Help:Proofs

Equivalence Proofs
The structure of an equivalence proof is as follows:

Theorem
Let ... ... Let ...


 * $(1):\quad$ First statement.


 * $(2):\quad$ Second statement.


 * $(3):\quad$ ...

...

Proof
Followed by the rest of the page. See Help:Page Structure.

Use of the TFAE Template is encouraged. It produces:

Definition Equivalences

 * See also Help:Multiple Definitions

The equivalence of definitions is proved on a page called: (See also Help:Page Naming)
 * Equivalence of Definitions of Concept that is Defined

The structure is roughly as follows:

Theorem
Let ... ... Let ...

Second transcluded definition
...

Proof
The equivalence proof gets the category Definition Equivalences.

Use of the TFAE template is encouraged. This puts the page automatically in the Definition Equivalences category. produces: