Theorem eq_true_intro

Modification history