Theorem mul_div_cancel'

Modification history