Theorem integral_zpow

Modification history