Theorem integral_sin_pow_three

Modification history