Theorem integral_sin_mul_cos₂

Modification history