Theorem heq_self_iff_true

Modification history