Theorem integral_cos_pow

Modification history