Theorem Real.two_mul_cos_mul_cos

Modification history