Theorem mul_div_cancel_left₀

Modification history