Theorem eq_equivalence

Modification history