Theorem eq_divp_iff_mul_eq

Modification history