Theorem imp_true_iff

Modification history