Theorem eq_self_iff_true

Modification history