Theorem integral_cos_pow_aux

Modification history