Theorem cpow_mul_div_cpow_eq_div_div_cpow

Modification history