Theorem div_mul_cancel_right₀

Modification history