Theorem mellin_cpow_smul

Modification history