Def Iff.elim_right

Modification history