Theorem iff_true_left

Modification history