Theorem true_implies_iff

Modification history