Theorem mul_one_div_cancel

Modification history