iff abbreviation names
iff abbreviation names

`iff.elim_left` seems to be the correct form in Lean 3
avigad/logic_and_proof,rlewis1988/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,rlewis1988/logic_and_proof,leanprover/logic_and_proof,rlewis1988/logic_and_proof,avigad/logic_and_proof