Theorem integral_cos_sq_sub_sin_sq

Modification history