Theorem integral_sin_pow_antitone

Modification history