Theorem eq_iff_eq_of_mul_eq_mul

Modification history