meaning of double implication in a proof

Printable View