Theorem integral_cos

Modification history