Theorem mul_div_cancel_of_imp'

Modification history