Theorem div_mul_cancel₀

Modification history