Theorem iff_true_right

Modification history