Theorem divp_mul_cancel

Modification history