Biconditional elimination

ID: biconditional-elimination

New to topics? Read the docs here!