Theorem iff_true_intro

Modification history