Theorem integral_pow

Modification history