deduction-theorem

This theorem says that,

$$\Gamma ,A⊢Biff\Gamma ⊢A\to B$$

This theorem is also called as conditional proof. (Still not verified).