Theorem integral_sin_mul_cos₁

Modification history