Theorem Real.two_mul_sin_mul_cos

Modification history