Theorem imp_iff_right

Modification history