Biconditional is Commutative/Formulation 2

Theorems
The biconditional operator is commutative:
 * $\vdash \left({p \iff q}\right) \iff \left({q \iff p}\right)$