Theorem divp_mul_divp

Modification history