Theorem eq_div_iff_mul_eq

Modification history