Theorem integral_sin_pow_pos

Modification history