Def Iff.elim_left

Modification history