Theorem divp_mul_eq_mul_divp

Modification history