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
If there are Multiple Definitions for one thing, their equivalence has to be proved on a page with the title:
 * Equivalence of Definitions of Concept that is Defined

See also Help:Page Naming

The structure of such a page is roughly as follows:

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

Proof
The TFAE template adds the page to the Definition Equivalences category. For instructions and additional syntax, see the TFAE template.