Theorem div_mul_div_cancel

Modification history