Theorem integral_cos_pow_three

Modification history