Theorem div_mul_cancel_right

Modification history