This video discusses the rules for biconditional elimination and biconditional introduction in Fitch-style system.
No download links available.
