Theorem integral_sin

Modification history