Theorem intervalIntegral.intervalIntegrable_cpow'

Modification history