Biconditional is Transitive
From ProofWiki
Theorem
- $p \iff q \land q \iff r \vdash p \iff r$
Proof
add the proof
You can help Proof Wiki by completing it.
To discuss it in more detail, feel free to use the talk page.
When this has been done, {{WIP}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
