Theorem iff_mpr_iff_true_intro

Modification history