Theorem integral_sin_pow_aux

Modification history