Biconditional Introduction/Also known as

Proof Rule
Some sources refer to the Biconditional Introduction as the rule of Conditional-Biconditional.