Theorem mul_divp_cancel

Modification history