Theorem MellinConvergent.cpow_smul

Modification history