Theorem mul_dvd_mul

Modification history