Theorem div_mul_cancel_left₀

Modification history