Theorem integral_cpow

Modification history