Theorem integral_rpow

Modification history